CARE toolset for developing verified programs from formal specifications

Hemer David and Lindsay Peter (1996). CARE toolset for developing verified programs from formal specifications. In: Proceedings of the 1996 4th International Symposium on Assessment of Software Tools, Toronto, Can, (24-35). May 22, 1996-May 24, 1996.

Author Hemer David
Lindsay Peter
Title of paper CARE toolset for developing verified programs from formal specifications
Conference name Proceedings of the 1996 4th International Symposium on Assessment of Software Tools
Conference location Toronto, Can
Conference dates May 22, 1996-May 24, 1996
Journal name Proceedings of the International Symposium on Assessment of Software Tools
Series Proceedings of the International Symposium on Assessment of Software Tools
Publication Year 1996
Sub-type Fully published paper
Start page 24
End page 35
Total pages 12
Subjects 1700 Computer Science
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status Unknown

Document type: Conference Paper
Collection: Scopus Import
 
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 5 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Tue, 26 Jul 2016, 02:42:17 EST by System User