REAL
MagyarClear Cookie - decide language by browser settings

Items where Author is "Sághelyi, Péter"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 1.

Sághelyi, Péter and Bereczky, Péter (2026) Formal Verification of Questionnaire Logic Using SMT Solvers. In: Proceedings of the 13th International Conference on Applied Informatics. Líceum Kiadó, Eger, pp. 227-243. ISBN 9789634963271

This list was generated on Wed Sep 30 09:44:43 2026 CEST.
EPrints Logo
Repository of the Academy's Library is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.