Code generation based on formal BURS theory and heuristic search (1997)

by A. Nymeyer , J.-P. Katoen
Venue:Acta Informatica
Citations:17 - 2 self