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

ICSEA 2022   The Seventeenth International Conference on Software Engineering Advances
ACM--ICMLT--Ei and Scopus 2022   ACM--2022 7th International Conference on Machine Learning Technologies (ICMLT 2022)--Ei Compendex, Scopus
Computer SI on SE4RAI 2023   IEEE Computer - Special Issue on Software Engineering for Responsible AI
MoWiN 2022   11th International Conference on Mobile & Wireless Networks
ICFEM 2022   23th International Conference on Formal Engineering Methods
ECOOP 2022   European Conference on Object-Oriented Programming
EXPRESS/SOS 2022   Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics
MLAIJ 2022   Machine Learning and Applications: An International Journal
ASE 2022   37th IEEE/ACM International Conference on Automated Software Engineering
ICSME 2022   38th IEEE International Conference on Software Maintenance and Evolution