Programming language elements for correctness proofs

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

[img] Cikk, tanulmány, mű
cscs_2006_040-041.pdf

Download (43kB)
Item Type: Article
Event Title: Conference of PhD students in computer science (5.) (2006) (Szeged)
Journal or Publication Title: Conference of PhD Students in Computer Science
Date: 2006
Volume: 5
Page Range: pp. 40-41
Uncontrolled Keywords: Programozás - előadáskivonat, Számítástechnika - előadáskivonat, Programozási nyelv - előadáskivonat
Additional Information: Bibliogr.: p. 40-41.
Date Deposited: 2019. Oct. 16. 10:34
Last Modified: 2019. Oct. 16. 10:34
URI: http://acta.bibl.u-szeged.hu/id/eprint/59847

Actions (login required)

View Item View Item