A high-level model-checking tool for verifying electronic contracts
ShareCopied to clipboardA high-level model-checking tool for verifying electronic contracts is a book. It was written by Abubkr Abdelsadiq and published by Newcastle UniversityComputing Science in 2011.
Key facts
- author: Abubkr Abdelsadiq
- publication date: 2011
- book publisher: Newcastle UniversityComputing Science
- book series: Technical report series
- book subjects: Computer systems-Verification, Electronic contracts
See more factsExtract data
Download datasets about A high-level model-checking tool for verifying electronic contracts:
Dataset of books series that contain A high-level model-checking tool for verifying electronic contracts:
Dataset of book subjects that contain A high-level model-checking tool for verifying electronic contracts:
"A high-level model-checking tool for verifying electronic contracts" is one of the books by Abubkr Abdelsadiq, books by Newcastle UniversityComputing Science and 2,617,384 books in our database.
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.