Start Over Please hold this item Export MARC Display Return To Browse
Limit search to available items
Record: Previous Record Next Record
Conference International Workshop on Formal Methods for Industrial Critical Systems (16th : 2011 : Trento, Italy)
Title Formal methods for industrial critical systems : 16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings / Gwen Salaün, Bernhard Schätz (eds.).
Publication Info Berlin ; New York : Springer, c2011.

Subject Formal methods (Computer science) -- Congresses.
Software engineering -- Congresses.
Computer programs -- Verification -- Congresses.
Computer programs -- Reliability -- Congresses.
Computer software -- Verification -- Congresses.
Descript x, 259 p. : ill. ; 24 cm.
Alt author Salaün, G. (Gwen)
Schätz, Bernhard.

Links and services for this item: