Verification, model checking, and abstract interpretation 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings

Select an Action

Title:

Conference Author:

Series:

Lecture Notes in Computer Science, 4349

Publication Information:

Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.

Physical Description:

xi, 394 p. : ill., digital ; 24 cm.

ISBN:

9783540697381

General Note:

Available in online version

Subject Term:

Added Author:

Added Corporate Author:

Electronic Access:

Genre:

DSP_RESTRICTION_NOTE:

Remote access restricted to users with a valid UTM ID via VPN