Formalizing Anaesthesia: a case study in formal specification.

Rix Groenboom, Erik Saaman, Ernest Rotterdam, Gerard R. Renardel de Lavalette

Browse the full FM paper archive.