Abstracting interference in postconditions
ShareCopied to clipboardAbstracting interference in postconditions is a book. It was written by D. Dias and published by Newcastle UniversityComputing Science in 2014.
Key facts
- author: D. Dias
- publication date: 2014
- book publisher: Newcastle UniversityComputing Science
- book series: Technical report series
- book subjects: Computer logic, Software engineering, Computer programs-Testing
See more factsExtract data
Download datasets about Abstracting interference in postconditions:
Dataset of books series that contain Abstracting interference in postconditions:
Dataset of book subjects that contain Abstracting interference in postconditions:
"Abstracting interference in postconditions" is one of the books by D. Dias, 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.