Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

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

PhD Thesis
Author(s):Mattias Ulbrich
School:Karlsruhe Institute of Technology
Year:2013
URL:http://nbn-resolving.org/urn:nbn:de:swb:90-411691
Links:Buy the book
ivil

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}
}