COMPASS : introduction of formal methods in code development and inspection

Författare: Tim Heyer; Linköpings Universitet; []

Nyckelord: ;

Sammanfattning:

Denna avhandling är EVENTUELLT nedladdningsbar som PDF. Kolla denna länk för att se om den går att ladda ner.