A structural proof of the soundness of rely/guarantee rules (revised
Bookmark
ShareCopied to clipboardA structural proof of the soundness of rely/guarantee rules (revised is a book. It was written by Joey W. Coleman and published by University of Newcastle upon Tyne Computing Science in 2007.
Key facts
- author: Joey W. Coleman
- publication date: 2007
- book publisher: University of Newcastle upon Tyne Computing Science
- book series: Technical report series
- book subjects: Computer engineering, Sequential processing (Computer science)
See more factsExtract data
Download datasets about A structural proof of the soundness of rely/guarantee rules (revised:
Dataset of books series that contain A structural proof of the soundness of rely/guarantee rules (revised:
Dataset of book subjects that contain A structural proof of the soundness of rely/guarantee rules (revised:
"A structural proof of the soundness of rely/guarantee rules (revised" is one of the books by Joey W. Coleman, books by University of Newcastle upon Tyne Computing Science and 2,617,384 books in our database.
Related
Connected or similar to A structural proof of the soundness of rely/guarantee rules (revised: .
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.