Old Web
English
Sign In
Acemap
>
Paper
>
On incorrectness logic and Kleene algebra with top and tests.
On incorrectness logic and Kleene algebra with top and tests.
2022
Cheng Zhang
Arthur Azevedo de Amorim
Marco Gaboardi
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]