1
Izdano 2015
Kazalo: ... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...
Polni tekst
Elektronski eKnjiga