Circular coinductive rewriting

Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering ◽

10.1109/ase.2000.873657 ◽

2000 ◽

Cited By ~ 29

Author(s):

J. Goguen ◽

K. Lin ◽

C. Rosu

Download Full-text