Executable structural operational semantics in Maude
ISSN: 1567-8326
Argitalpen urtea: 2006
Alea: 67
Zenbakia: 1-2
Orrialdeak: 226-293
Mota: Artikulua
ISSN: 1567-8326
Argitalpen urtea: 2006
Alea: 67
Zenbakia: 1-2
Orrialdeak: 226-293
Mota: Artikulua