A Pedagogical Verification Condition Generator
Gespeichert in:
Verfasser / Beitragende:
[D. Gray]
Ort, Verlag, Jahr:
1987
Enthalten in:
The Computer Journal, 30/3(1987), 239-248
Format:
Artikel (online)
Online Zugang: