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. [doi]


No references recorded for this publication.

Cited by

No citations of this publication recorded.