Introducing HOL zero (extended abstract)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6327 LNCS, Issue , 2010, Pages 142-143

  Adams, Mark ^a  

^a Proof Technologies   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DIVERSE FIELDS; EXTENDED ABSTRACTS; HARDWARE AND SOFTWARE; KEY COMPONENT; PEER REVIEW; PROCESSOR DESIGN; SAFETY CRITICAL SOFTWARE; SYSTEM VERIFICATIONS; TESTING TECHNIQUE; THEOREM PROVERS; TOOLSETS;

COMPUTER HARDWARE; COMPUTER SOFTWARE SELECTION AND EVALUATION; COMPUTER TESTING; SAFETY TESTING;

VERIFICATION;

EID: 78149268577     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15582-6_25     Document Type: Conference Paper

References (0)