Zsolt Borsi
Lecturer
lecturer
Contact details
Address
1117 Budapest, Pázmány Péter sétány 1/c.
Room
2.612
Phone/Extension
8489
E-mail
Links
ORCID
Scopus
Publications
Szakmai honlap
Scientific classifications
- 1.2 Computer and information sciences
- Computer sciences
Main research areas
program correctness
Keywords
verification
Keywords
program synthesis
Keywords