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

Bibliographic Item (1.0)

Rushby97a

  1. John Rushby
  2. Subtypes for Specifications
  3. in [JazayeriSchauer97] pp4-19
  4. =EXPERIECE LOGIC PREDICATES TYPES
  5. useful to use predicate to define subtypes an use subtypes in quantifiers etc in logic in specifications+proofs+assertions+functions
  6. Tool = [PVS]
  7. Also see [RushbyOwreShankar98]

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]