Skip navigation
Please use this identifier to cite or link to this item: http://dx.doi.org/10.25673/6316
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
URI: https://opendata.uni-halle.de//handle/1981185920/13127
http://dx.doi.org/10.25673/6316
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
View/Open
Show full item record BibTeX EndNote


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