Strategic term rewriting and its application to a VDM-SL to SQL conversion (2005)

Cached

Download Links

by T. L. Alves , P. F. Silva , J. Visser , J. N. Oliveira
Venue:In Proceedings of the Formal Methods Symposium (FM’05
Citations:5 - 5 self