Login / Signup
Jason Lancaric
Publication Activity (10 Years)
Years Active: 2002-2002
Publications (10 Years): 0
</>
Publications
</>
Richard F. Paige
,
Liliya Kaminskaya
,
Jonathan S. Ostroff
,
Jason Lancaric
BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning.
J. Object Technol.
1 (3) (2002)