Department of Informatics

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

TUM

  Home  |  Research/Competence  |  Teaching  |  Staff  |  Publications  |  Misc  |  Contact  |  Intranet  |

  Find  

 
PDF-Datei BibTeX

@inproceedings {DvO-ECOOP00,
    author = {David von Oheimb},
    title = {{Axiomatic Semantics for Java_light in Isabelle/HOL}},
    booktitle = {ECOOP2000 Workshop on Formal Techniques for Java Programs},
    year = {2000}
}
  
HTML Version

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