Normal view MARC view ISBD view

Formal methods for industrial critical systems : 15th international workshop : proceedings, FMICS, Antwerp, Belgium, Sept. 20-21, 2010. (e-book) - Berlin Springer 2010 - Lecture Notes in Computer Science (LNCS) v.6371 LNCS Sublibrary : SL 2 – Programming and Software Engineering .

ISBN: 978-3-642-15898-8

Subjects--Topical Terms:
Computer Science and Engineering
Formal methods (Computer science)--Congresses
Computer programs--Verification--Congresses
Computer programs--Reliability--Congresses
Computer software--Verification--Congresses