ISSTA 2019 (series) / Henrich Lauko
Registered user since Thu 4 Apr 2019
Name: Henrich Lauko
Contributions
SPIN 2019 | String abstraction for model checking of C programs | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ISSTA 2019-profile
View general profile
View general profile