L. M. G. Feijs

Neonatal monitoring technologi

Neonatal monitoring technologies

2012

A Formalisation of Design Methods

1993

Formal specification and design

1992

Algebraic methods II

1991