Number of items: 2.
Calin, Georgel and Derevenetc, Egor and Majumdar, Rupak and Meyer, Roland
(2013)
A Theory of Partitioned Global Address Spaces.
Long, Zhenyue and Calin, Georgel and Majumdar, Rupak and Meyer, Roland
(2012)
Language-Theoretic Abstraction Refinement.
This list was generated on Sat Dec 21 20:09:48 2024 CET.