Department of Informatics

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

TUM
 
PDF-Datei BibTeX

@inproceedings {BroyHinkelNipkowPreh,
    author = {Manfred Broy and Ursula Hinkel and Tobias Nipkow and Christian Prehofer and Birgit Schieder},
    title = {{Interpreter Verification for a Functional Language}},
    booktitle = {Proc. 14th Conf. Foundations of Software Technology and Theoretical Computer Science},
    year = {1994},
    editor = {P.S. Thiagarajan},
    pages = {77 - 88}
}
  
HTML Version

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