HEAVEN: A Framework for the Refinement of Heterogeneous Systems.

Rdiger Schroll, Christoph Grimm, Klaus Waldschmidt

Browse the full FDL paper archive.