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

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

Document Versions

Code generation based on formal BURS theory and heuristic search –A. Nymeyer, J.-P. Katoen — 1997 — Acta Informatica
Code generation based on formal BURS theory and heuristic search –A. Nymeyer, J.-P. Katoen — 1995