Location & Availability for: Formal methods for industrial critical s

 Staff view

You must be logged in to Tag Records

Formal methods for industrial critical systems [electronic resource] : a survey of applications /

edited by Stefania Gnesi, Tiziana Margaria.

Book Cover
Names: Gnesi, Stefania, | Margaria-Steffen, Tiziana,
Published: Hoboken, N.J. : John Wiley & Sons Inc. : c2013
Topics: Formal methods (Computer science)
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Formal methods for industrial critical s