Tudományterület szerző szerint "Sághelyi, Péter"

csoportosítás: Mű típusa | csoportosítás nélkül

Találatok száma: 1.

Könyvrészlet - Book section

Sághelyi, Péter, Bereczky, Péter (2026) Formal Verification of Questionnaire Logic Using SMT Solvers In: Proceedings of the 13th International Conference on Applied Informatics. Eger, Eszterházy Károly Catholic University Líceum Publisher. pp. 227-243.

A lista elkészítésének dátuma Sun Oct 18 15:08:19 2026 CEST.

Intézményi Publikációk 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.

TÁMOP-4.2.1.D-15/1/KONV-2015-0013 Kutatás, Innováció, Együttműködések – Társadalmi innováció és kutatási hálózatok együttműködésének erősítése projekt keretében készült.