dec :: tech reports :: SRC TN pdf

dec :: tech reports :: SRC TN

More Book Details

Description of the Book:

• Book Topics/Themes: verification, java, commands, translation, guarded, sugared, cmd, desugaring, null, command, verification conditions, guarded commands, verification condition, primitive guarded, compaq systems, check command, extended static, assume false

An excerpt captured from the PDF book