Comments: Runtime verification : first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010 : proceedings / Howard Barringer [and others] (eds.).

Summary goes here

Saved in:

Bibliographic Details
Format:	Book
Language:	English
Subjects:	Computer programs Formal methods (Computer science) Logiciels Méthodes formelles (Informatique) Informatique. computerwetenschappen computer sciences algoritmen algorithms computeranalyse computer analysis programmeertalen programming languages programmeren programming wiskunde mathematics logica logic software engineering Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen) 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!

Be the first to leave a comment!