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 | Size | Format | |
|---|---|---|---|---|
| WegeFlorian_Design_and_implementation_of_a_verifier_for_sequential_programs.pdf | 1.54 MB | Adobe PDF |  View/Open |