Artikel in einem Konferenzbericht,

Necessary and Sufficient Conditions for University of Programming Formalisms (Partial Report).

, und .
Logic of Programs, Volume 164 von Lecture Notes in Computer Science, Seite 279-289. Springer, (1983)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen