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

Bibliographic Item (1.0)

RushbyOwreShankar98

  1. John Rushby & Sam Owre & Natarajan Shankar
  2. Subtypes for Specifications: Predicate Subtyping in PVS
  3. IEEE Trans SE V24n9(Sep 1998)pp709-720
  4. =THEORY LOGIC partial [PVS]
  5. Also see [Rushby97a]
  6. Compare [Parnas93]


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]