Code Generation based on formal BURS theory and heuristic search

Albert Nymeyer, Joost P. Katoen

    Research output: Book/ReportReportAcademic

    Search results