Functionality Decomposition by Compositional Correstness Preserving Transformation.

Ed Brinksma, Rom Langerak, Peter Broekroelofs

Browse the full CAV paper archive.