Vissza |
Dévai Gergely: Programming language elements for correctness proofs. In: Acta cybernetica, (18) 3. pp. 403-425. (2008)
Dévai Gergely: Metaprogramming on the proof level : [abstract].
Pataki Norbert; Dévai Gergely: A comparative study of C++ standard template library's formal specification : [abstract].
Dévai Gergely: Programming language elements for correctness proofs : [abstract].