Modular Verification of Computer Communication Protocols
- Brent T. Hailpern
- Susan S. Owicki
- 1983
- IEEE Transactions on Communications
Publications
2 results for Susan Owicki
Modular verification of concurrent programs
- Brent Hailpern
- Susan Owicki
- 1982
- POPL 1982