Towards a GUI for Program Verification with KeY

Typ
Examensarbete för masterexamen
Master Thesis
Program
Publicerad
2009
Författare
Darvish Darab, Mohammad Ali
Modellbyggare
Tidskriftstitel
ISSN
Volymtitel
Utgivare
Sammanfattning
Beskrivning
Ämne/nyckelord
Programvaruteknik, Software Engineering
Citation
Arkitekt (konstruktör)
Geografisk plats
Byggnad (typ)
Byggår
Modelltyp
Skala
Teknik / material