Registered user since Thu 8 Jun 2017
Name:Gábor Horváth
Affiliation:Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers
Contributions
| * ICSE 2018 * | Poster F48: Implementation and Evaluation of Cross Translation Unit Symbolic Execution for C Family Languages | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
* ICSE 2018 *-profile
View general profile
View general profile