Location & Availability for: Leveraging applications of formal method

 Staff view

You must be logged in to Tag Records

Leveraging applications of formal methods [electronic resource] : first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers /

Tiziana Margaria, Bernhard Steffen (eds.).

Book Cover
Names: Margaria-Steffen, Tiziana, | Steffen, Bernhard.
Published: Berlin ; Springer, c2006.
Series: Lecture notes in computer science, 4313
Topics: Formal methods (Computer science) - Congresses.
Tags: Add


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


Loading Holdings Data ... Loading

Location & Availability for: Leveraging applications of formal method