Formal description of program structure and semantics in first order logic

Open in new window

This document cannot be displayed in the browser. Use the link above to download the document.