Search alternatives:
complete verifiable » complete variable, complete decidable, complete verification
functions » function
Cover Image
Read Now

1
Published 2016
Springer International Publishing
Table of Contents: “... Roadmap -- A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs -- Self...”