Introducing Formal Methods to Software Engineers Through OMG's COBRA Environment and Interface Definition Language.

Sriram Sankar Introducing Formal Methods to Software Engineers Through OMG's COBRA Environment and Interface Definition Language. 52-61 1996 conf/amast/1996 AMAST db/conf/amast/amast96.html#Sankar96