Towards a GUI for Program Verification with KeY

Visa enkel post
dc.contributor.authorDarvish Darab, Mohammad Ali
dc.contributor.departmentChalmers tekniska högskola / Institutionen för data- och informationsteknik (Chalmers)sv
dc.contributor.departmentChalmers University of Technology / Department of Computer Science and Engineering (Chalmers)en
dc.date.accessioned2019-07-03T12:17:26Z
dc.date.available2019-07-03T12:17:26Z
dc.date.issued2009
dc.identifier.urihttps://hdl.handle.net/20.500.12380/112042
dc.language.isoeng
dc.setspec.uppsokTechnology
dc.subjectProgramvaruteknik
dc.subjectSoftware Engineering
dc.titleTowards a GUI for Program Verification with KeY
dc.type.degreeExamensarbete för masterexamensv
dc.type.degreeMaster Thesisen
dc.type.uppsokH
Ladda ner
Original bundle
Visar 1 - 1 av 1
Bild (thumbnail)
Namn:
112042.pdf
Storlek:
849.36 KB
Format:
Adobe Portable Document Format
Beskrivning:
Fulltext
Ladda ner
Samling
Examensarbeten för masterexamen