Search Results for ''

published presentations and documents on DocSlides.

Procedural abstraction in Boogie

by phoebe-click

Procedural abstraction. Procedure declaration and...