An abstract interpretation toolkit for μcRL
- Espada, M.V.
- Van De Pol, J.
ISSN: 0925-9856
Argitalpen urtea: 2007
Alea: 30
Zenbakia: 3
Orrialdeak: 249-273
Mota: Biltzar ekarpena
Aldizkaria:
Formal Methods in System Design