New paper completed#

We recently completed a new paper to appear in Proceedings of FMOODS/FORTE 2009, where Prof. Misra is the invited speaker. While most of the material in the paper has already appeared in an expanded form in the user guide, this paper serves as a slightly more compact introduction to the Orc language and its use.

Add new attachment

Only authorized users are allowed to upload new attachments.
« This page (revision-1) was last changed on 01-Apr-2009 12:02 by AdrianQuark