DMCA

Author manuscript, published in "Tests and Proofs 2010, Malaga: Spain (2010)" Syntactic Abstraction of B Models to Generate Tests (2010)

Cached

Download Links

by J. Julli , N. Stouls , P. -c. Bué , P. -a. Masson