Suggested Topics within your search.
Search alternatives:
programming verification » program verification, programs verification, programming classification
programming integrating » programming interfacing, programming interactive, programming international
functions conditional » functions functional, functional conditioning, functions computational
basic citrus » bali citrus, asian citrus, barli citrus
1
Cover Image
Published 2013
Table of Contents: “... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...”
View full text
Electronic eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search