Подписаться
Jaemin Choi
Jaemin Choi
KAIST
Подтвержден адрес электронной почты в домене kaist.ac.kr
Название
Процитировано
Процитировано
Год
Compass: strong and compositional library specifications in relaxed memory separation logic
HH Dang, J Jung, J Choi, DT Nguyen, W Mansky, J Kang, D Dreyer
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
202022
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.