Registered user since Mon 15 Apr 2024
Name:Marek Jankola
Country:Slovakia
Affiliation:LMU Munich
Research interests:Formal Verification, Automata, Logic
Contributions
Using general profile
- Attending
- Program
- Track/Call
- Organization
- 2030 Software Engineering Committees
- Track Committees
- Program Committee
- Contributors
- People Index
- Search
- Series