Search Results for 'Rockband'

Rockband published presentations and documents on DocSlides.

Specification techniques for verifying object-oriented soft

by pamella-moone

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

Flexible Immutability with Frozen Objects

by sherrill-nordquist

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