Old Web
English
Sign In
Acemap
>
Paper
>
Formal semantics for BRM with examples
Formal semantics for BRM with examples
1991
Atm Ad Aerts
D. De Reus
Keywords:
Well-founded semantics
Programming language
Syntax (logic)
Formal semantics (linguistics)
Operational semantics
Action semantics
Computational semantics
Denotational semantics
Computer science
Formal verification
Formal specification
Correction
Source
Cite
Save
Machine Reading By IdeaReader
22
References
0
Citations
NaN
KQI
[]