A high-level model-checking tool for verifying electronic contracts
Bookmark
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.
Related
Connected or similar to A high-level model-checking tool for verifying electronic contracts: .
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.