Conference
Proving proof rules: a proof system for concurrent programs
| Title: | Proving proof rules: a proof system for concurrent programs |
|---|---|
| Authors: | Goldschlag, D.M. |
| Source: | Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security. Computer Assurance, 1990. COMPASS '90, Systems Integrity, Software Safety and Process Security., Proceedings of the Fifth Annual Conference on. :95-101 1990 |
| Relation: | Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security |
| Database: | IEEE Xplore Digital Library |
| DOI: | 10.1109/CMPASS.1990.175405 |
|---|