Automating Performance Optimisation by Heuristic Analysis of a Formal Specification.

Philipp Hoschka

Browse the full FORTE paper archive.