Jeremy Lawrence Jacob

Search results

• 1990

  Specifying Security Properties

  Jacob, J. L. & Hoare, C. A. R. (Editor), 1990, Developments in Concurrency and Communication. Reading, Mass, U. S. A.: http://www.aw.com/Addison Wesley, p. 221-237 17 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter