
Registered user since Mon 15 Apr 2024
Name:Marek Jankola
Country:Slovakia
Affiliation:LMU Munich
Research interests:Formal Verification, Automata, Logic
Contributions
FSE 2024-profile
View general profile
View general profile
Registered user since Mon 15 Apr 2024
Contributions