Items where Author is "Dévai, Gergely"

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

Article

Dévai, Gergely: Metaprogramming on the proof level. Conference of PhD Students in Computer Science, (6). p. 18. (2008)

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

Pataki, Norbert and Dévai, Gergely: A comparative study of C++ standard template library’s formal specification. Conference of PhD Students in Computer Science, (6). p. 48. (2008)

Dévai, Gergely: Programming language elements for correctness proofs. Conference of PhD Students in Computer Science, (5). pp. 40-41. (2006)

This list was generated on 2020. április 3. 04:29:33 CEST.