Extended Static Checking of Evolving Programs by Change Contract

Elmentve itt :
Bibliográfiai részletek
Szerző: Szőke Gábor
További közreműködők: Roychoudhury Abhik (Témavezető)
Rudolf Ferenc (Témavezető)
Dokumentumtípus: Szakdolgozat
Megjelent: 2012
Tárgyszavak:
Online Access:http://diploma.bibl.u-szeged.hu/119185
Leíró adatok
További adatokért lásd a Minden adat megjelenítése... fület