Eerke Boiten

No bio available. Add one in Open Library.

Books by Eerke Boiten (50 max)

+ shelf+ list

Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings (Lecture Notes in Computer Science)

2004

Eerke Boiten, John Derrick, Graeme Smith

+ shelf+ list

Refinement Semantics, Languages and Applications

2018

John Derrick, Eerke Boiten