👤

Frank de Boer

3 books

Books by Frank de Boer

It's All About Coordination
It's All About Coordination
2018
FM 2015 : Formal Methods
FM 2015 : Formal Methods
2015
Concurrency verification
Concurrency verification
2001