Collaborated with:
∅
Talks about:
knowledg (1) contract (1) equival (1) partit (1) enhanc (1) design (1) about (1)
Person: Per Madsen
DBLP: Madsen:Per
Contributed to:
Wrote 1 papers:
- TOOLS-USA-2003-Madsen04 #contract #design #equivalence
- Enhancing Design by Contract with Knowledge about Equivalence Partitions (PM), pp. 5–21.