Comparing specification with proved properties of clean dynamics

Lövei, László and Tejfel, Máté and Mészáros, Mónika and Horváth, Zoltán and Kozsik, Tamás: Comparing specification with proved properties of clean dynamics. In: Conference of PhD Students in Computer Science, (5). p. 71. (2006)

[img]
Preview
Cikk, tanulmány, mű
cscs_2006_071.pdf

Download (38kB) | Preview
Item Type: Article
Journal or Publication Title: Conference of PhD Students in Computer Science
Date: 2006
Volume: 5
Page Range: p. 71
Event Title: Conference of PhD students in computer science (5.) (2006) (Szeged)
Uncontrolled Keywords: Számítástechnika - előadáskivonat
Additional Information: Bibliogr.: 71. p.
Date Deposited: 2019. Oct. 16. 12:40
Last Modified: 2019. Oct. 16. 12:40
URI: http://acta.bibl.u-szeged.hu/id/eprint/59871

Actions (login required)

View Item View Item