Iman Poernomo. Proofs-as-Model-Transformations. In Antonio Vallecillo, Jeffrey G. Gray, Alfonso Pierantonio, editors, Theory and Practice of Model Transformations, First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008, Proceedings. Volume 5063 of Lecture Notes in Computer Science, pages 214-228, Springer, 2008.
No references recorded for this publication.
No citations of this publication recorded.