Skip navigation
Please use this identifier to cite or link to this item:
Title: Design and implementation of a verifier for sequential programs using the Hoare calculus
Author(s): Wege, Florian
Referee(s): Prof. Dr. phil. Dr. rer. nat. habil. Schenke, Michael
Granting Institution: Hochschule Merseburg
Issue Date: 2017
Type: Hochschulschrift
Type: Master Thesis
Language: English
Publisher: Hochschulbibliothek, Hochschule Merseburg
URN: urn:nbn:de:gbv:542-3555
Open Access: Open access publication
Appears in Collections:Informatik und Kommunikationssysteme

Files in This Item:
File Description SizeFormat 
WegeFlorian_Design_and_implementation_of_a_verifier_for_sequential_programs.pdf1.54 MBAdobe PDFThumbnail
Show full item record BibTeX EndNote

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