1
Publicat 2010
Taula de continguts: ... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...
Obtenir text complet
Electrònic eBook