Skip to main navigation
Skip to search
Skip to main content
JKU & KUK Research Portal Home
Help & FAQ
English
Deutsch
Home
Research units
Profiles
Research output
Projects
Activities
Datasets
Prizes
Press/Media
Search by expertise, name or affiliation
Aadithya Srinivasan Anand
MSc
Institute of Formal Models and Verification
Email
aadithya_srinivasan.anand
jku
at
Overview