Code Generation based on formal BURS theory and heuristic search

Albert Nymeyer, Joost P. Katoen

    Research output: Book/ReportReportAcademic

    Fingerprint

    Dive into the research topics of 'Code Generation based on formal BURS theory and heuristic search'. Together they form a unique fingerprint.

    Computer Science