Subject
Showing results 1 to 2 of 2
Lee, Juneyoung; Hur, Chung-Kil; Jung, Ralf; Liu, Zhengyang; Regehr, John; Lopes, Nuno P.
Proceedings of the ACM on Programming Languages, Vol.2 No.OOPSLA
Lee, Juneyoung; Hur, Chung-Kil; Lopes, Nuno P.
Lecture Notes in Computer Science, Vol.11562 LNCS, pp.445-455