posted by system || 9553 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
SAC-SVT 2021   Software Verification and Testing Track at SAC 2021
ACM--ESSE--Ei Compendex, Scopus 2020   ACM--2020 European Symposium on Software Engineerings (ESSE 2020)--Ei Compendex, Scopus
FSEN 2021   9th IPM International Conference on Fundamentals of Software Engineering
IJNGN 2020   International Journal of Next - Generation Networks
FM 2021   Formal Methods 2021
SPRA--EI, Scopus 2020   2020 Symposium on Pattern Recognition and Applications (SPRA 2020)--EI Compendex, Scopus
SA-TTA 2021   The 9th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021)
SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science