Comments: Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 ; proceedings / Karin Breitman, Ana Cavalcanti (eds.).

Summary goes here

Saved in:

Bibliographic Details
Format:	Book
Language:	English
Subjects:	Formal methods (Computer science) Software engineering Electronic Data Processing Software Méthodes formelles (Informatique) Génie logiciel Logiciels. software. Informatique. Fehlertoleranz Formale Methode Model Checking Programmanalyse Softwaretest Softwareentwicklung Systementwicklung Verifikation Zuverlässigkeit Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Kongress. Rio de Janeiro (2009)
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!