Seguir
Jaemin Choi
Jaemin Choi
KAIST
E-mail confirmado em kaist.ac.kr
Título
Citado por
Citado por
Ano
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
O sistema não pode executar a operação agora. Tente novamente mais tarde.