Login / Signup

Functionality Decomposition by Compositional Correstness Preserving Transformation.

Ed BrinksmaRom LangerakPeter Broekroelofs
Published in: CAV (1993)
Keyphrases