An abstract interpretation toolkit for μcRL
- Espada, M.V.
- Van De Pol, J.
ISSN: 0925-9856
Datum der Publikation: 2007
Ausgabe: 30
Nummer: 3
Seiten: 249-273
Art: Konferenz-Beitrag
Zeitschrift:
Formal Methods in System Design