Proving the correctness of a virtual machine by a bisimulation
University dissertation from Chalmers University of Technology
Abstract:
This dissertation MIGHT be available in PDF-format. Check this page to see if it is available for download.