Tudományterület szerző szerint "Dévai, Gergely"

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

Cikk, tanulmány, mű

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

A lista elkészítésének dátuma 2017. szeptember 22. 21:03:11 CEST.