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

Type:
Master Thesis Computer Science
    Status:
    completed
    Tutor: