Model Checking Software

Format:

e-book

Title:

Model Checking Software

Author:

Havelund, Klaus; Kanade, Takeo; Majumdar, Rupak; Palsberg, Jens; Kittler, Josef

Language:

English

Publisher:

Springer Berlin Heidelberg 2008

ISBN:

3-540-85113-5
3-540-85114-3

Subject:

Information Technology Software Engineering

Permalink:

http://bibtest.howest.be/catalog/ebk03:1000000000490799?locale=en