Dynamic Logic for an Intermediate Language: Verification, Interaction and Refinement

Doktorarbeit

Autor(en):Mattias Ulbrich
Hochschule:Karlsruhe Institute of Technology
Jahr:2013
URL:http://nbn-resolving.org/urn:nbn:de:swb:90-411691
Links:

BibTeX

@PHDTHESIS{Ulbrich2013,
  author = {Mattias Ulbrich},
  title = {Dynamic Logic for an Intermediate Language: Verification, Interaction and Refinement},
  school = {Karlsruhe Institute of Technology},
  year = {2013},
  month = {June},
  url = {http://nbn-resolving.org/urn:nbn:de:swb:90-411691},
  isbn = {978-3844297034}
}