posted by system || 9209 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
ICSE 2021   43rd International Conference on Software Engineering, 23-29 May 2021
EDLTMBE 2020   Emerging Deep Learning Theories and Methods for Biomedical Engineering - IEEE Access (IF: 4.098)
AIFU 2020   6th International Conference on Artificial Intelligence and Applications
SETTA 2020   Symposium on Dependable Software Engineering Theories, Tools and Applications
OOPSLA 2020   Conference on Object-Oriented Programming Systems, Languages,and Applications
IEEE--ICISE--Ei Compendex & Scopus 2020   IEEE--2020 the 5th International Conference on Information Systems Engineering (ICISE 2020)--Ei Compendex & Scopus
CONISOFT 2020   8th International Conference on Software Engineering Research and Innovation
AIKE 2020   IEEE Artificial Intelligence & Knowledge Engineering 2020
ICFEM 2020   The 22nd International Conference on Formal Engineering Methods (2020)