ON THE STRUCTURE OF VERIFIABLE CODE GENERATOR SPECIFICATIONS

Giegerich R (1990)
SIGPLAN NOTICES 25(6): 1-8.

Download
No fulltext has been uploaded. References only!
Conference Paper | Published | English

No fulltext has been uploaded

Publishing Year
ISSN
PUB-ID

Cite this

Giegerich R. ON THE STRUCTURE OF VERIFIABLE CODE GENERATOR SPECIFICATIONS. SIGPLAN NOTICES. 1990;25(6):1-8.
Giegerich, R. (1990). ON THE STRUCTURE OF VERIFIABLE CODE GENERATOR SPECIFICATIONS. SIGPLAN NOTICES, 25(6), 1-8.
Giegerich, R. (1990). ON THE STRUCTURE OF VERIFIABLE CODE GENERATOR SPECIFICATIONS. SIGPLAN NOTICES 25, 1-8.
Giegerich, R., 1990. ON THE STRUCTURE OF VERIFIABLE CODE GENERATOR SPECIFICATIONS. SIGPLAN NOTICES, 25(6), p 1-8.
R. Giegerich, “ON THE STRUCTURE OF VERIFIABLE CODE GENERATOR SPECIFICATIONS”, SIGPLAN NOTICES, vol. 25, 1990, pp. 1-8.
Giegerich, R.: ON THE STRUCTURE OF VERIFIABLE CODE GENERATOR SPECIFICATIONS. SIGPLAN NOTICES. 25, 1-8 (1990).
Giegerich, Robert. “ON THE STRUCTURE OF VERIFIABLE CODE GENERATOR SPECIFICATIONS”. SIGPLAN NOTICES 25.6 (1990): 1-8.
This data publication is cited in the following publications:
This publication cites the following data publications:

Export

0 Marked Publications

Open Data PUB

Web of Science

View record in Web of Science®

Search this title in

Google Scholar