Statistics
Publications
1
Citations
49
H-Index
1
Active since
2017
Affiliations
Andras Vorcos is an author at Budapest University of Technology and Economics specializing in computer engineering, automated reasoning, and formal methods.
Publications per year
2017–2017
1
1
Theta: A framework for abstraction refinement-based model checking
Tamás Tóth, Ákos Hajdu, Andras Vorcos et al. · 2017 · 49 citations
1–1 of 1