Travelled to:1 × Germany
Collaborated with:I.S.W.B.Prasetya A.Azurat T.E.J.Vos
Talks about:composit (1) generat (1) extens (1) condit (1) verif (1) build (1)
Person: Arthur van Leeuwen
DBLP: Leeuwen:Arthur_van
Contributed to:
2005Wrote 1 papers:
- SEFM-2005-PrasetyaAVL #composition #generative #verification
- Building Verification Condition Generators by Compositional Extensions (ISWBP, AA, TEJV, AvL), pp. 220–230.