. . .
About Us
Education
Research
PhD
Acta Cybernetica
Conferences
Sponsors
Departments:
- Image Processing and Computer Graphics
- Technical Informatics
- Foundations of Computer Science
- Computer Algorithms and Artificial Intelligence
- Computational Optimization
- Software Engineering
- Research Group on Artificial Intelligence
[University of Szeged]
Institute of Informatics>>> Acta Cybernetica>>> Past Issues>>> flag_HUMagyarul


BACK TO INDEX

Publications of Gergely Dévai in Acta Cybernetica.

  1.   Gergely Dévai. Programming Language Elements for Correctness Proofs. Acta Cybernetica, 18(3):403-425, 2008. [ PDF ]


BACK TO INDEX



 This document was translated from BibTEX by bibtex2html

Webmaster:webmaster@inf.u-szeged.hu