Towards a GUI for Program Verification with KeY

Examensarbete för masterexamen

Please use this identifier to cite or link to this item: https://hdl.handle.net/20.500.12380/112042
Download file(s):
File Description SizeFormat 
112042.pdfFulltext849.36 kBAdobe PDFView/Open
Type: Examensarbete för masterexamen
Master Thesis
Title: Towards a GUI for Program Verification with KeY
Authors: Darvish Darab, Mohammad Ali
Keywords: Programvaruteknik;Software Engineering
Issue Date: 2009
Publisher: 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
Collection:Examensarbeten för masterexamen // Master Theses



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.