Hungarian

Items where Author is " Dévai Gergely"

[Fel]

Group by: Item Type | No Grouping

Jump to: Article | Conference or Workshop Item

Number of items: 4.

Article

Dévai Gergely: Programming language elements for correctness proofs. In: Acta cybernetica, (18) 3. pp. 403-425. (2008)

Conference or Workshop Item

Dévai Gergely: Metaprogramming on the proof level : [abstract].

Pataki Norbert and 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].

This list was generated on 2026. március 6. 13:30:06 CET.

Bielefeld Academic Search Engine

MTMT Minősített Repozitórium

Technical information: contenta AT ek.szte.hu
Repository 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.