K. Stephenson

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1998

1 EE K. Stephenson: Towards an Algebraic Specification of the Java Virtual Machine. Prospects for Hardware Foundations 1998: 236-277