Location & Availability for: Leveraging applications of formal method

 Staff view

You must be logged in to Tag Records

Leveraging applications of formal methods, verification and validation : applications and case studies ; 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings. Part II /

Margaria, Bernhard Steffen (eds.).

Book Cover
Names: Margaria-Steffen, Tiziana, | Steffen, Bernhard.
Published: Berlin ; Springer, ©2012.
Series: Lecture notes in computer science ; 7610.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Topics: Formal methods (Computer science) - Congresses. | Computer software - Verification - Congresses. | Computer software - Validation - Congresses. | Informatique.
Genres: Electronic books. | Conference papers and proceedings.
Online Access: SpringerLink - Full text online
Tags: Add


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


University of Illinois at Urbana-Champaign

Loading Holdings Data ... Loading

Location & Availability for: Leveraging applications of formal method