Derivation of efficient implementations from formal descriptions - issues, methods and conformance.

H. Kremer

Browse the full FORTE paper archive.