Formal Specification - A Comparison of Two Techniques
Gespeichert in:
Verfasser / Beitragende:
[D. A. Duce, E. V. C. Fielding]
Ort, Verlag, Jahr:
1987
Enthalten in:
The Computer Journal, 30/4(1987), 316-327
Format:
Artikel (online)
Online Zugang: