Towards a GUI for Program Verification with KeY

Examensarbete för masterexamen

Använd denna länk för att citera eller länka till detta dokument: https://hdl.handle.net/20.500.12380/112042
Ladda ner:
Fil Beskrivning StorlekFormat 
112042.pdfFulltext849.36 kBAdobe PDFVisa
Typ: Examensarbete för masterexamen
Master Thesis
Titel: Towards a GUI for Program Verification with KeY
Författare: Darvish Darab, Mohammad Ali
Nyckelord: Programvaruteknik;Software Engineering
Utgivningsdatum: 2009
Utgivare: Chalmers tekniska högskola / Institutionen för data- och informationsteknik (Chalmers)
Chalmers University of Technology / Department of Computer Science and Engineering (Chalmers)
URI: https://hdl.handle.net/20.500.12380/112042
Samling:Examensarbeten för masterexamen // Master Theses



Materialet i Chalmers öppna arkiv är upphovsrättsligt skyddat och får ej användas i kommersiellt syfte!