History
1
an:70921992
1


Please fill in your query. A complete syntax description you will find on the General Help page.
An experiment in type inference and verification by abstract interpretation (English)
VMCAI, 225-239 (2002).
WorldCat.org
PDF XML AMS-TeX TEXT BIBTeX DOI
Valid XHTML 1.0 Transitional Valid CSS!