Verification, Model Checking, and Abstract Interpretation

Type:

e-book

Titel:

Verification, Model Checking, and Abstract Interpretation

Auteur:

Kenneth L. McMillan, Xavier Rival; Rival, Xavier

Taal:

Engels

Uitgever:

Springer Berlin Heidelberg 2014

ISBN:

3-642-54012-0
3-642-54013-9

Permalink:

http://bibtest.howest.be/catalog/ebk03:3710000000085823