Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

26

JOT
2002

favoriteEmaildiscussreport

112views more JOT 2002»

BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning

13 years 11 months ago

BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning

Download www.jot.fm

Richard F. Paige, Liliya Kaminskaya, Jonathan S. O

Real-time Traffic

JOT 2002 |

claim paper

Post Info
More Details (n/a)

Added	22 Dec 2010
Updated	22 Dec 2010
Type	Journal
Year	2002
Where	JOT
Authors	Richard F. Paige, Liliya Kaminskaya, Jonathan S. Ostroff, Jason Lancaric

Comments (0)