posted by system || 11403 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 2022   20th International Conference on Software Engineering and Formal Methods
Computer SI on SE4RAI 2023   IEEE Computer - Special Issue on Software Engineering for Responsible AI
IEEE ICICSE 2023   IEEE--2023 the 3rd International Conference on Information Communication and Software Engineering (ICICSE 2023)
ICICSE 2023   IEEE--2023 the 3rd International Conference on Information Communication and Software Engineering (ICICSE 2023)
MLDS 2022   3rd International Conference on Machine Learning Techniques and Data Science
IEEE ICCCR 2023   IEEE--2023 3rd International Conference on Computer, Control and Robotics (ICCCR 2023)
AISO 2022   8th International Conference on Artificial Intelligence and Soft Computing
FM 2023   Formal Methods
IEEE ICCCBDA 2023   IEEE--2023 the 8th International Conference on Cloud Computing and Big Data Analytics (ICCCBDA 2023)
IEEE ICSTE 2022   IEEE--2022 12th International Conference on Software Technology and Engineering (ICSTE 2022)