G. Calin Cascaval

• Cf'11
• PPoPP'11