BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning
By: Richard F. Paige, Liliya Kaminskaya, Jonathan S. Ostroff, Jason Lancaric
Cite as:
Richard F. Paige, Liliya Kaminskaya, Jonathan S. Ostroff, Jason Lancaric, “BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning”, Journal of Object Technology, Volume 1, no. 3 (August 2002), pp. 77-96, doi:10.5381/jot.2002.1.3.a5.
PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn