Calculating with requirements

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 1997, Pages 144-146

  Rushby, John ^a  

^a Intl Computer Science Laboratory   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER AIDED ANALYSIS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LANGUAGES; PROBLEM SOLVING; THEOREM PROVING;

AUTOMATED FORMAL METHODS; REQUIREMENTS ENGINEERING;

COMPUTER AIDED SOFTWARE ENGINEERING;

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

References (14)