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

Jeehoon Kang jeehoon.kang at sf.snu.ac.kr
Thu Aug 4 09:54:26 CEST 2016

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 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>

More information about the Iris-Club mailing list