Software Abstractions Logic, Language, and Analysis (MIT Press)

2017-10-29 1

Software Abstractions Logic, Language, and Analysis (MIT Press)