Formalizing Anaesthesia: a case study in formal specification
['Rix Groenboom', 'Erik Saaman', 'Ernest Rotterdam', 'Gerard Renardel de Lavalette']
Formalizing Anaesthesia: a case study in formal specification