[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

AbadiLamport90

  1. Martin Abadi & Leslie Lamport
  2. Composing Specifications
  3. Digital Sys Res Center(Oct 10 1990) CR9405-0309 F.3.1 [AbadiLamport93]
  4. =MATHEMATICAL SPECIFICATION LOGIC
  5. Has a ref to Cliff Jones's Oxford PhD Thesis in the early 80s! p9: "Composition is conjunction" cf Zave & Jackson.

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]