Search Results for 'Charcount'

Charcount published presentations and documents on DocSlides.

Fun with code, tests, and verification

by candy

K. Rustan M. . Leino. Research in Software Enginee...

Verification of concurrent

by bety

object-oriented. programs. K. Rustan M. Leino. RiS...