Circular Coinductive Rewriting (2000)

by Joseph Goguen , Kai Lin , Grigore Rosu
Venue:In Proceedings of Automated Software Engineering 2000
Citations:46 - 11 self