Preserving contexts for soft conformance relation
Aktak:
Lecture Notes in Computer Science
ISSN: 0302-9743
Argitalpen urtea: 2005
Alea: 3395
Orrialdeak: 33-48
Mota: Biltzar ekarpena