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 Wed Nov 20 17:22:09 2024 CET.