posted by system || 9394 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
ICFEM 2020   The 22nd International Conference on Formal Engineering Methods (2020)
AIFU 2020   6th International Conference on Artificial Intelligence and Applications
CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2020)--Ei Compendex & Scopus
ICSIE--ACM, Ei Compendex, Scopus 2020   2020 9th International Conference on Software and Information Engineering (ICSIE 2020)--ACM, Ei Compendex, Scopus
SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
IEEE--ICISE--Ei Compendex & Scopus 2020   IEEE--2020 the 5th International Conference on Information Systems Engineering (ICISE 2020)--Ei Compendex & Scopus
FMICS 2020   25th International Conference on Formal Methods for Industrial Critical Systems
GandALF 2020   11th International Symposium on Games, Automata, Logics, and Formal Verification