Conference
Proving proof rules: a proof system for concurrent programs
| Τίτλος: | Proving proof rules: a proof system for concurrent programs |
|---|---|
| Συγγραφείς: | Goldschlag, D.M. |
| Πηγή: | 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 |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
καταχωρήστε σχόλιο πρώτοι!