Scheduled System Maintenance:
Some services will be unavailable Sunday, March 29th through Monday, March 30th. We apologize for the inconvenience.
By Topic

Towards a Formal Basis for the Formal Development Method and the Ina Jo Specification Language

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
1 Author(s)
Berry, D.M. ; SDC, A Burroughs Company, Santa Monica, CA. 90405, and the Department of Computer Science, University of California