Boogie
Boogie is an intermediate specification language developed by Microsoft.
More on Boogie can be found here.
Boogie is an intermediate specification language developed by Microsoft.
More on Boogie can be found here.
From here you can search these documents. Enter your search terms below.