The ergo attribute system

Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments - SDE 3 ◽

10.1145/64135.65014 ◽

1988 ◽

Cited By ~ 6

Author(s):

Robert L. Nord ◽

Frank Pfenning

Download Full-text