![](/img/cover-not-exists.png)
Automated discovery of state transitions and their functions in source code
Neil Walkinshaw, Kirill Bogdanov, Shaukat Ali, Mike HolcombeVolume:
18
Year:
2008
Language:
english
Pages:
23
DOI:
10.1002/stvr.380
File:
PDF, 812 KB
english, 2008