Old Web
English
Sign In
Acemap
>
Paper
>
Formal Methods and the RM-ODP
Formal Methods and the RM-ODP
1998
Ole-Johan Dahl
Olaf Owe
Keywords:
Formal methods
Programming language
Refinement
Formal specification
RM-ODP
Computer science
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
13
Citations
NaN
KQI
[]