Artikel,

Formal specifications in software maintenance: from code to Z++ and back again.

, , und .
Inf. Softw. Technol., 35 (11-12): 679-690 (1993)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen