Hartmut Ehrig, Barry K. Rosen
Theoretical Computer Science
No abstract available.
Hartmut Ehrig, Barry K. Rosen
Theoretical Computer Science
Ron Cytron, Jeanne Ferrante, et al.
ACM TOPLAS
Barry K. Rosen, Mark N. Wegman, et al.
POPL 1988
L. Howard Holley, Barry K. Rosen
IEEE Transactions on Software Engineering