Travelled to:
1 × Spain
Collaborated with:
J.Julliand P.Bué P.Masson
Talks about:
abstract (1) syntact (1) generat (1) model (1) test (1)
Person: Nicolas Stouls
DBLP: Stouls:Nicolas
Contributed to:
Wrote 1 papers:
- TAP-2010-JulliandSBM #abstraction #modelling #testing
- Syntactic Abstraction of B Models to Generate Tests (JJ, NS, PCB, PAM), pp. 151–166.