ON THE STRUCTURE OF VERIFIABLE CODE GENERATOR SPECIFICATIONS

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

Konferenzbeitrag | Veröffentlicht | Englisch

Download

Es wurden keine Dateien hochgeladen. Nur Publikationsnachweis!

Autor*in

Einrichtung

Erscheinungsjahr

1990

Serien- oder Zeitschriftentitel

SIGPLAN NOTICES

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, Robert. 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.

Export

Suchen in