Old Web
English
Sign In
Acemap
>
Paper
>
Integrated program development and verification
Integrated program development and verification
1984
Christoph Beierle
M. Gerlach
R. Göbel
Walter G. Olthoff
P. Raulefs
A. Voss
Keywords:
Software verification
Computer architecture
Intelligent verification
Verification
Computer science
Software engineering
program development
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
2
Citations
NaN
KQI
[]