ON THE STRUCTURE OF VERIFIABLE CODE GENERATOR SPECIFICATIONS

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

Konferenzbeitrag | Veröffentlicht | Englisch
 
Download
Es wurde kein Volltext hochgeladen. Nur Publikationsnachweis!
Erscheinungsjahr
1990
Band
25
Ausgabe
6
Seite(n)
1-8
ISSN
0362-1340
Page URI
https://pub.uni-bielefeld.de/record/1651466

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.