L. Howard Holley, Barry K. Rosen
IEEE Transactions on Software Engineering
No abstract available.
L. Howard Holley, Barry K. Rosen
IEEE Transactions on Software Engineering
Bowen Alpern, Roger Hoover, et al.
SODA 1990
Barry K. Rosen
POPL 1981
Ron Cytron, Jeanne Ferrante, et al.
ACM TOPLAS