Location & Availability for: Model checking software : 19th Internati

 Staff view

You must be logged in to Tag Records

Model checking software : 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings /

Alastair Donaldson, David Parker (eds.).

Book Cover
Names: Donaldson, Alastair. | Parker, David,
Published: Berlin ; Springer, ©2012.
Series: Lecture notes in computer science ; 7385.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Topics: Computer software - Verification - Congresses. | Software engineering - Congresses. | Computer software - Testing - Congresses. | Informatique. | SPIN (Computer file) - Congresses.
Genres: Electronic books. | Conference papers and proceedings.
Tags: Add


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


Loading Holdings Data ... Loading

Location & Availability for: Model checking software : 19th Internati