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

MoDRE 2019   9th International Workshop on Model-Driven Requirements Engineering (MoDRE)
SCAI 2019   8th International Conference On Soft Computing, Artificial Intelligence And Applications
IEEE-5G-Security 2020   IEEE Communications Magazine Feature Topic “5G Security: Can 5G Be Verifiably Secure?”
ACM-MLNLP-Ei/Scopus 2019   2019 2nd International Conference on Machine Learning and Natural Language Processing
IEEE--ICCSN--Ei and Scopus 2020   2020 IEEE 12th International Conference on Communication Software and Networks (ICCSN 2020)--Ei Compendex, Scopus
DMA 2020   6th International Conference on Data Mining and Applications
ICICT 2020   5th Scopus- Indexed IEEE International Conference on Inventive Computation Technologies
EI-CMSME 2020   2020 3rd International Joint Conference on Materials Science and Mechanical Engineering (CMSME 2020)
SEFM 2019   Software Engineering and Formal Methods
CSEE&T 2020   32nd International Conference on Software Engineering Education & Training