Travelled to:
1 × Greece
Collaborated with:
E.Brinksma R.Langerak
Talks about:
decomposit (1) transform (1) function (1) composit (1) preserv (1) correst (1)
Person: Peter Broekroelofs
DBLP: Broekroelofs:Peter
Contributed to:
Wrote 1 papers:
- CAV-1993-BrinksmaLB #composition
- Functionality Decomposition by Compositional Correstness Preserving Transformation (EB, RL, PB), pp. 371–384.