Clarke, Edmund M.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Handbook of Model Checking by: Veith, Helmut.; SpringerLink (Online service); Bloem, Roderick.; Clarke, Edmund M.; Henzinger, Thomas A. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

Handbook of model checking by: SpringerLink (Online service); Clarke, Edmund M. (Language materials, printed)

Subjects

Mathematical logic. Computer science—Mathematics. Software Engineering/Programming and Operating Systems. Reliability. Software engineering. Quality control. Computer systems Theory of Computation. Computers. Industrial safety. Mathematics of Computing. Computer Science. Quality Control, Reliability, Safety and Risk. Mathematical Logic and Foundations. Computer software—Reusability. Performance and Reliability.