Modular Structural Operational Semantics with Strategies
- Braga, C.
- Verdejo, A.
ISSN: 1571-0661
Argitalpen urtea: 2007
Alea: 175
Zenbakia: 1
Orrialdeak: 3-17
Mota: Artikulua
ISSN: 1571-0661
Argitalpen urtea: 2007
Alea: 175
Zenbakia: 1
Orrialdeak: 3-17
Mota: Artikulua