|
|
Verification, model checking, and abstract interpretation : , 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. x, 395 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Verification, Model Checking, and Abstract Interpretation
by Barthe, Gilles.
Publication:
. X, 397p. 105 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|