Articles matching “Lancaric”

1. Richard F. Paige, Liliya Kaminskaya, Jonathan S. Ostroff, Jason Lancaric, BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning, pp. 77-96, PDF, HTML, DOI. Volume 1, no. 3 (August 2002)