Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

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:

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