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