Judit Horpácsiné Kőszegi
Judit Horpácsiné Kőszegi
Lecturer
Institute of Computer Science
lecturer
Department of Programming Languages and Compilers
lecturer
Contact details
Address
1053 Budapest, Egyetem tér 1-3.
Room
2 517
Links
ORCID
0000-0003-1915-4176
WoS
H-4339-2017
Scopus
55496130100
Google Scholar
OSA5KFUAAAAJ
Publications
mtmt.hu
  • 1.2 Computer and information sciences
    • information science
Formal verification of refactorings
Keywords
formal verification, refactoring, functional languages, verification and correctness of distributed systems, matching logic