Search

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