Old Web
English
Sign In
Acemap
>
Paper
>
Compositional Specification in Rewriting Logic
Compositional Specification in Rewriting Logic
2019
Oscar Martín
Alberto Verdejo
Narciso Martí Oliet
Keywords:
Computer science
Theoretical computer science
Rewriting
Correction
Cite
Save
Machine Reading By IdeaReader
19
References
0
Citations
NaN
KQI
[]