Bart Postma
发表
Joost-Pieter Katoen,
Yuri Yushtein,
Marie-Aude Esteve,
2012,
2012 34th International Conference on Software Engineering (ICSE).
Joost-Pieter Katoen,
Marco Bozzano,
Marco Roveri,
2014,
Reliab. Eng. Syst. Saf..