English

Szerző: " Dévai Gergely"

Vissza
Export [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
csoportosítás: Mű típusa | csoportosítás nélkül
Találatok száma: 4.

Cikk, tanulmány, mű

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

Konferencia vagy workshop anyag

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].

A lista elkészítésének dátuma 2024. április 18. 15:48:53 CEST.
Itt kérhet technikai vagy tartalmi segítséget: contenta AT ek.szte.hu
SZTE Egyetemi Kiadványok 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.