
Registered user since Thu 17 Mar 2022
Name:Michael Wagner
Country:Austria
Affiliation:SBA Research
Contributions
IWCT 2022 | Developing multithreaded techniques and improved constraint handling for the tool CAgen Results of the CT competition | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICST 2022-profile
View general profile
View general profile