![](/img/cover-not-exists.png)
A model-driven process for engineering a toolset for a formal method
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Patrizia ScandurraVolume:
41
Year:
2011
Language:
english
Pages:
12
DOI:
10.1002/spe.1019
File:
PDF, 296 KB
english, 2011