Search

Now showing items 1-1 of 1

Defining the Java Virtual Machine as Platform for Provably correct Java Compilation

Börger, Egon; Schulte, Wolfram; Brim, L.; Gruska, J.; Zlatuska, J. (1998)

Beitrag zu einer Konferenz