posted by system || 10024 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

FDL 2021   24th IEEE Forum on specification & Design Languages
IJCSES 2021   International Journal of Computer Science and Engineering Survey
FM 2021   Formal Methods 2021
MLHMI--Ei and Scopus 2021   2021 2nd International Conference on Machine Learning and Human-Computer Interaction (MLHMI 2021)--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)
DTMN 2021   7th International Conference on Data Mining
IEEE SSCI 2021   2021 IEEE Symposium Series on Computational Intelligence
DMSE 2021   2nd International Conference on Data Mining and Software Engineering
SANER 2021   The 28th edition of the IEEE International Conference on Software Analysis, Evolution and Reengineering
CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2021)--Ei Compendex & Scopus