The Synergy of Precise and Fast Abstractions for Program Verification
Informazioni aggiuntive
Autori
Sharygina N.,
Tonetta S.,
Tsitovich A.
Tipo
Contributo in atti di convegno
Anno
2009
Lingua
Inglese
Titolo atti di convegno
24th Annual ACM Symposium on Applied Computing (SAC)
Editore
ACM
Luogo convegno
Honolulu, USA
Pagine (o numero dell’articolo)
566-573
