[Iris-Club] Acryonym: what does the CMRA stand for?

[Jeehoon Kang]

Dear Iris Club,

This is not a technical question, but :-)
I couldn't find what CMRA stands for in the paper and the appendix..  May I
ask what does it stand for?

Thank you,
Jeehoon

-- 
Jeehoon Kang (Ph.D. student) <http://sf.snu.ac.kr/jeehoon.kang>
Software Foundations Laboratory <http://sf.snu.ac.kr>
Seoul National University <http://www.snu.ac.kr>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mpi-sws.org/pipermail/iris-club/attachments/20160804/8df901b9/attachment.html>