Contract Formalisation and Modular Implementation of Domain-Specific Languages

Tom Hvitved

Original languageEnglish
PublisherFaculty of Science, University of Copenhagen
Publication statusPublished - 2012

Cite this