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

WoSCA 2021   WoSCA 2021 : 2nd International Workshop on Smart Contract Analysis
DTMN 2021   7th International Conference on Data Mining
FDL 2021   24th IEEE Forum on specification & Design Languages
CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2021)--Ei Compendex & Scopus
CONISOFT 2021   9th International Conference on Software Engineering Research and Innovation
CBW 2021   2nd International Conference on Cloud, Big Data and Web Services
FM 2021   Formal Methods 2021
ACM--ICMLT--Ei and Scopus 2021   ACM--2021 6th International Conference on Machine Learning Technologies (ICMLT 2021)--EI Compendex, Scopus
IEEE SSCI 2021   2021 IEEE Symposium Series on Computational Intelligence
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)