ON THE STRUCTURE OF VERIFIABLE CODE GENERATOR SPECIFICATIONS

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

Download
Es wurde kein Volltext hochgeladen. Nur Publikationsnachweis!
Konferenzbeitrag | Veröffentlicht | Englisch
Erscheinungsjahr
Band
25
Zeitschriftennummer
6
Seite
1-8
ISSN
PUB-ID

Zitieren

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.