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
- Attending
- Info
- Program
- Track/Call
- Organization
- PROMISE 2024 Committees
- Track Committees
- Organizing Committee
- Program Committee
- Steering Committee
- Contributors
- People Index
- Search
- Series
- Series
- PROMISE 2024
- PROMISE 2023
- PROMISE'22