A compositional logic for protocol correctness
Nancy Durgin‚ John C. Mitchell and Dusko Pavlovic
Details
| Book Title |
Proceedings of CSFW 2001 |
| Editor |
Steve Schneider |
| Pages |
241–255 |
| Publisher |
IEEE |
| Year |
2001 |
Links
Related pages
|
People |