![](/img/cover-not-exists.png)
Using source transformation to test and model check implicit-invocation systems
Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Juergen DingelVolume:
62
Year:
2006
Language:
english
Pages:
19
DOI:
10.1016/j.scico.2006.04.008
File:
PDF, 3.29 MB
english, 2006