Search Results for 'rockband'

rockband published presentations and documents on DocSlides.

Flexible Immutability with Frozen Objects

by sherrill-nordquist

K. Rustan M. Leino. Microsoft Research. Peter Mü...

Specification techniques for verifying object-oriented soft

by pamella-moone

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