Natural Language for Hardware Verification: Semantic Interpretation and Model Checking

Alexander Holt, Er Holt, Ewan Klein, Claire Grover

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	ILLC, University of Amsterdam
Pages	133-137
Number of pages	5
DOIs	https://doi.org/10.1.1.42.1802
Publication status	Published - 1999

Access to Document

@inproceedings{39f7dfb1ce11477e97e1c004aeb69553,

title = "Natural Language for Hardware Verification: Semantic Interpretation and Model Checking",

author = "Alexander Holt and Er Holt and Ewan Klein and Claire Grover",

year = "1999",

doi = "10.1.1.42.1802",

language = "English",

pages = "133--137",

booktitle = "ILLC, University of Amsterdam",

}