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

ICFEM 2024   International Conference on Formal Engineering Methods
ACM MLMI 2024   ACM--2024 The 7th International Conference on Machine Learning and Machine Intelligence (MLMI 2024)
IEEE ICCTech 2025   IEEE--2025 the 4th International Conference on Computer Technologies (ICCTech 2025)
SESBC 2024   5th International Conference on Software Engineering, Security and Blockchain
VSTTE 2024   Verified Software: Theories, Tools, Experiments
IEEE WSAI 2024   IEEE--2024 the 6th World Symposium on Artificial Intelligence (WSAI 2024)
IEEE-Ei/Scopus-ACEPE 2024   2024 IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2024) -Ei Compendex
ACMLC--EI 2024   2024 6th Asia Conference on Machine Learning and Computing (ACMLC 2024)
ITNG 2024   The 21st Int'l Conf. on Information Technology: New Generations ITNG 2024
VLSIE 2024   5th International Conference on VLSI & Embedded Systems