An abstract interpretation toolkit for μcRL
- Espada, M.V.
- Van De Pol, J.
ISSN: 0925-9856
Year of publication: 2007
Volume: 30
Issue: 3
Pages: 249-273
Type: Conference paper
Journal:
Formal Methods in System Design