Articles with public access mandates - Cheng ZhangLearn more
Available somewhere: 1
On incorrectness logic and Kleene algebra with top and tests
C Zhang, AA de Amorim, M Gaboardi
Proceedings of the ACM on Programming Languages 6 (POPL), 1-30, 2022
Mandates: US National Science Foundation
Publication and funding information is determined automatically by a computer program