![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Abstract State Machines 2003 Volume 2589 || Experiments with Test Case Generation and Runtime Analysis
Börger, Egon, Gargantini, Angelo, Riccobene, ElviniaVolume:
10.1007/3-
Year:
2003
Language:
english
DOI:
10.1007/3-540-36498-6_5
File:
PDF, 263 KB
english, 2003