TY  - RPRT
TI  - Syntactic Abstraction of B Models to Generate Tests
AU  - Jacques Julliand
AU  - Nicolas Stouls
AU  - Pierre-Christophe Bué
AU  - Pierre-Alain Masson
PY  - 2010
UR  - https://arxiv.org/abs/1004.1262
ID  - 1004.1262
ER  -