Comparing Specification Paradigms: Gypsy and Z
William D. Young · 1989
This paper will be presented at the 12th National Computer Security Conference, Baltimore, Maryland, October 10-13, 1989. Computational Logic Inc. 1717 W. 6th St. Suite 290 Austin, Texas 78703 (512) 322-9951 This work was supported in part at Computational Logic, Inc., by the Defense Advanced Research Projects Agency, ARPA Orders 6082 and 9151. The views and conclusions contained in this document are those of the author(s) and should not be interpreted as representing the official policies, either expressed or implied, of Computational Logic, Inc., the Defense Advanced Research Projects Agency or the U.S. Government. 1 1. Introduction