 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen  [2]
|
Hilfe 
|
 |
|
| Suche: Citkey="Borger-Schulte/98" |
|
Defining the Java virtual machine as platform for provably correct Java compilation
Egon Börger, Wolfram Schulte
Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98 (Brno, Czech Republic, August 24-28, 1998)
Lecture Notes in Computer Science
1450
, 1998, pp. 17-35
| Editors | Lubos̑ Brim, Jozef Gruska, Jiȓí Zlatus̑ka | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg-New York-Barcelona-Budapest-Hong Kong-London-Milan-Paris-Singapore-Tokyo | |
|
|
|
|