Search Results for 'dynamic dafny'

dynamic dafny published presentations and documents on DocSlides.

Dynamic-frame specifications in

by faustina-dinatale

Dafny. K. Rustan M. Leino. RiSE. , Microsoft Rese...