Department of Informatics

TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

TUM
 
PDF-Datei BibTeX

@article {merz_mod,
    author = {Martin Abadi and Stephan Merz},
    title = {{On TLA as a logic}},
    journal = {Deductive Program Design},
    year = {1995}
}
  
HTML Version

(c) 1999-2004 - Lehrstuhl Software & Systems Engineering
Sitemap |  Contact