Use of industrial-strength formal methods

Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

Volumn , Issue , 1997, Pages 332-337

  Bowen, Jonathan P ^a   Hinchey, Michael G ^a  

^a UNIVERSITY OF READING   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BIBLIOGRAPHIES; INDUSTRIAL APPLICATIONS;

INDUSTRIAL STRENGTH FORMAL METHODS;

FORMAL LOGIC;

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

References (31)