Description: Leveraging applications of formal methods, verification and validation. Tiziana Margaria, Bernhard Steffen (Eds.). Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings /

Summary goes here

Saved in:

Bibliographic Details
Format:	Book
Language:	English
Subjects:	Software engineering Génie logiciel COMPUTERS Programmverifikation Softwareentwicklung Systementwurf Formal methods (Computer science) Programmanalyse Informatique. Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Tags:	Add Tag No Tags, Be the first to tag this record!