1
Pubblicazione 2007
Sommario: ...: Making Parametric Shape Analysis Competitive -- Session VII: Concurrent Program Verification -- Fast...
Testo
Elettronico eBook