Seguir
Jaemin Choi
Jaemin Choi
KAIST
Dirección de correo verificada de kaist.ac.kr
Título
Citado por
Citado por
Año
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.