posted by system || 9066 views || tracked by 39 users: [display]

SEFM 2010 : 8th IEEE International Conference on Software Engineering and Formal Methods

FacebookTwitterLinkedInGoogle


Conference Series : Software Engineering and Formal Methods
 
Link: http://www.iist.unu.edu/sefm2010
 
When Sep 13, 2010 - Sep 17, 2010
Where Pisa, Italy
Submission Deadline Mar 22, 2010
Categories    software engineering   theoretical computer science
 

Call For Papers

[Empty]

Related Resources

SEFM 2020   Software Engineering and Formal Methods
CCCIOT 2020   International Conference on Cloud Computing and IOT (CCCIOT 2020)
ICFEM 2020   The 22nd International Conference on Formal Engineering Methods (2020)
ACM-CSSE 2020-Ei/Scopus 2020   2020 3nd International Conference on Computer Science and Software Engineering (CSSE 2020)
SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons
AIFU 2020   6th International Conference on Artificial Intelligence and Applications
FormaliSE 2020   8th International Conference on Formal Methods in Software Engineering
ESEC/FSE 2020   ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
AIKE 2020   IEEE Artificial Intelligence & Knowledge Engineering 2020
IJCAR 2020   10th International Joint Conference on Automated Reasoning