posted by system || 7618 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 2019   Software Engineering and Formal Methods
ACM--ICCAI--Ei Compendex, Scopus 2019   ACM--2019 5th International Conference on Computing and Artificial Intelligence (ICCAI 2019)--Ei Compendex, Scopus
SEFM 2019   17th International Conference on Software Engineering and Formal Methods
ASE 2019   Automated Software Engineering
ATVA 2019   International Symposium on Automated Technology for Verification and Analysis
EI-CSECI 2019   2019 International Conference on Software Engineering and Computational Intelligence (CSECI 2019)
IEEE-TEM 2019   IEEE Transactions on Engineering Management: Special Issue Smart Services and Software Platforms
MoWIN 2019   8th International Conference on Mobile & Wireless Networks
SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence
GridCom 2019   11th International Conference on Grid Computing