Erik Saaman

According to our database, Erik Saaman authored at least 1 paper in 1996.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1996

Formalizing Anaesthesia: a case study in formal specification.

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

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996