Citation: J. Rushby et al., SUBTYPES FOR SPECIFICATIONS - PREDICATE SUBTYPING IN PVS, IEEE transactions on software engineering, 24(9), 1998, pp. 709-720
Authors:
SAIEDIAN H
BOWEN JP
BUTLER RW
DILL DL
GLASS RL
GRIES D
HALL A
HINCHEY MG
HOLLOWAY CM
JACKSON D
JONES CB
LUTZ MJ
PARNAS DL
RUSHBY J
WING J
ZAVE P
Citation: H. Saiedian et al., AN INVITATION TO FORMAL METHODS, Computer, 29(4), 1996, pp. 16
Citation: S. Owre et al., FORMAL VERIFICATION FOR FAULT-TOLERANT ARCHITECTURES - PROLEGOMENA TOTHE DESIGN OF PVS, IEEE transactions on software engineering, 21(2), 1995, pp. 107-125