Comparing specification with proved properties of clean dynamics

Saved in:
Bibliographic Details
Main Authors: Lövei László
Tejfel Máté
Mészáros Mónika
Horváth Zoltán
Kozsik Tamás
Corporate Author: Conference of PhD students in computer science (5.) (2006) (Szeged)
Format: Article
Published: 2006
Series:Conference of PhD Students in Computer Science 5
Kulcsszavak:Számítástechnika - előadáskivonat
Online Access:http://acta.bibl.u-szeged.hu/59871
Description
Physical Description:71