An abstract interpretation toolkit for μcRL
- Espada, M.V.
- Van De Pol, J.
ISSN: 0925-9856
Any de publicació: 2007
Volum: 30
Número: 3
Pàgines: 249-273
Tipus: Aportació congrés
Revista:
Formal Methods in System Design