History
1
an:70799753
1


Please fill in your query. A complete syntax description you will find on the General Help page.
On automated program construction and verification (English)
MPC, 22-41 (2010).
WorldCat.org
PDF XML AMS-TeX TEXT BIBTeX DOI
Valid XHTML 1.0 Transitional Valid CSS!