CARE toolset for developing verified programs from formal specifications

Proceedings of the International Symposium on Assessment of Software Tools

Volumn , Issue , 1996, Pages 24-35

  Hemer, David ^a   Lindsay, Peter ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ASSISTED REFINEMENT ENGINEERING;

ALGORITHMS; COMPUTER PROGRAMMING; DATABASE SYSTEMS; SOFTWARE ENGINEERING; SOFTWARE PROTOTYPING; SPECIFICATIONS; SYSTEMS ANALYSIS; THEOREM PROVING;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0029702052     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (26)