![]() | ![]() |
1991 | ||
---|---|---|
4 | EE | Stanley Lee, Suzanne Sluizer: An Executable Language For Modeling Simple Behavior. IEEE Trans. Software Eng. 17(6): 527-543 (1991) |
1986 | ||
3 | EE | Suzanne Sluizer, Stanley Lee: Applying Entity-Relationship Concepts to Executable Specifications. ER 1986: 183-194 |
2 | Stanley Lee, Suzanne Sluizer: On Executable Specifications of Finite State Protocol Errors. ICDCS 1986: 458-465 | |
1979 | ||
1 | EE | Stanley Lee, Willem P. de Roever, Susan L. Gerhart: The Evolution of List-Copying Algorithms. POPL 1979: 53-67 |
1 | Susan L. Gerhart | [1] |
2 | Willem P. de Roever | [1] |
3 | Suzanne Sluizer | [2] [3] [4] |