A Framework for Generating Runtime-Environments in Java for Formally Specified Programming Languages

Type:
Master Thesis Computer Science
Status:
completed
Tutor: