![](/img/cover-not-exists.png)
[IEEE 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Chicago, IL, USA (2016.4.11-2016.4.15)] 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Checking Experiments for Symbolic Input/Output Finite State Machines
Petrenko, AlexandreYear:
2016
Language:
english
DOI:
10.1109/icstw.2016.9
File:
PDF, 304 KB
english, 2016