Conference
Integrating formal methods and testing for concurrent programs
| Τίτλος: | Integrating formal methods and testing for concurrent programs |
|---|---|
| Συγγραφείς: | Carver, R.H., Durham, R. |
| Πηγή: | COMPASS '95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security' Computer assurance Computer Assurance, 1995. COMPASS '95. Systems Integrity, Software Safety and Process Security. Proceedings of the Tenth Annual Conference on. :25-33 1995 |
| Relation: | COMPASS '95. Proceedings of the Tenth Annual Conference on Computer Assurance |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| DOI: | 10.1109/CMPASS.1995.521884 |
|---|