Person: Andreas Munk-Madsen
DBLP: Munk-Madsen:Andreas
Contributed to:
Wrote 1 papers:
- CSE-1985-MathiassenM #development #formal method
- Formalization in Systems Development (LM, AMM), pp. 101–116.
DBLP: Munk-Madsen:Andreas