Fpm Frank Stappers

Dogfooding the structural operational semantics of mCRL2

Jan Friso Groote, Fpm Frank Stappers, Michel A. Reniers, 2011 .

Bridging formal models : an engineering perspective

Fpm Frank Stappers, 2012 .

Breadth-bounded model checking

Fpm Frank Stappers, Tac Tim Willemse, Mg Maarten Meulen, 2009 .