Publications

of Roland H.C. Yap

Articles in journal, book chapters

  1. Gregory J. Duck, Joxan Jaffar, and Roland H.C. Yap. Shape Neutral Analysis of Graph-based Data-structures. Theory and Practice of Logic Programming, 18(3-4):470-483, 2018.

BACK TO INDEX