Formal Methods
pdf
- Author: Klaus Havelund Jan Peleska Bill Roscoe Erik de Vink
- Language: English
- Year: 2018
- Author: J W de Bakker, Erik de Vink
- Language: English
- Year: 1996
- Author: Jaco de Bakker Erik de Vink
- Language: English
- Year: 1996
- Author: Boris Köpf Andrey Rybalchenko (auth.) Marco Bernardo Erik de Vink Alessandra Di Pierro Herbert Wiklicky (eds.)
- Language: English
- Year: 2013
