ON THE STRUCTURE OF VERIFIABLE CODE GENERATOR SPECIFICATIONS

Giegerich R (1990)
In: SIGPLAN NOTICES. 25. ASSOC COMPUTING MACHINERY: 1-8.

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. In: SIGPLAN NOTICES. Vol 25. ASSOC COMPUTING MACHINERY; 1990: 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” in SIGPLAN NOTICES, vol. 25, (ASSOC COMPUTING MACHINERY), 1-8.
Giegerich, R., 1990. ON THE STRUCTURE OF VERIFIABLE CODE GENERATOR SPECIFICATIONS. In SIGPLAN NOTICES. no.25 ASSOC COMPUTING MACHINERY, pp. 1-8.
R. Giegerich, “ON THE STRUCTURE OF VERIFIABLE CODE GENERATOR SPECIFICATIONS”, SIGPLAN NOTICES, vol. 25, ASSOC COMPUTING MACHINERY, 1990, pp.1-8.
Giegerich, R.: ON THE STRUCTURE OF VERIFIABLE CODE GENERATOR SPECIFICATIONS. SIGPLAN NOTICES. 25, p. 1-8. ASSOC COMPUTING MACHINERY (1990).
Giegerich, Robert. “ON THE STRUCTURE OF VERIFIABLE CODE GENERATOR SPECIFICATIONS”. SIGPLAN NOTICES. ASSOC COMPUTING MACHINERY, 1990.Vol. 25. 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