Erik Saaman

List of publications from the DBLP Bibliography Server - FAQ

1996

1 Rix Groenboom, Erik Saaman, Ernest Rotterdam, Gerard R. Renardel de Lavalette: Formalizing Anaesthesia: a case study in formal specification. FME 1996: 120-139

1996
1		Rix Groenboom, Erik Saaman, Ernest Rotterdam, Gerard R. Renardel de Lavalette: Formalizing Anaesthesia: a case study in formal specification. FME 1996: 120-139

Coauthor Index

1	Rix Groenboom	[1]
2	Gerard R. Renardel de Lavalette	[1]
3	Ernest Rotterdam	[1]