summaryrefslogtreecommitdiff
path: root/doc/refman/biblio.bib
diff options
context:
space:
mode:
authorGravatar Samuel Mimram <smimram@debian.org>2006-06-16 14:41:51 +0000
committerGravatar Samuel Mimram <smimram@debian.org>2006-06-16 14:41:51 +0000
commite978da8c41d8a3c19a29036d9c569fbe2a4616b0 (patch)
tree0de2a907ee93c795978f3c843155bee91c11ed60 /doc/refman/biblio.bib
parent3ef7797ef6fc605dfafb32523261fe1b023aeecb (diff)
Imported Upstream version 8.0pl3+8.1betaupstream/8.0pl3+8.1beta
Diffstat (limited to 'doc/refman/biblio.bib')
-rw-r--r--doc/refman/biblio.bib12
1 files changed, 12 insertions, 0 deletions
diff --git a/doc/refman/biblio.bib b/doc/refman/biblio.bib
index 378936d9..b9a3a2c5 100644
--- a/doc/refman/biblio.bib
+++ b/doc/refman/biblio.bib
@@ -974,6 +974,18 @@ the Calculus of Inductive Constructions}},
YEAR = {1992}
}
+@article{Rushby98,
+ TITLE = {Subtypes for Specifications: Predicate Subtyping in
+ {PVS}},
+ AUTHOR = {John Rushby and Sam Owre and N. Shankar},
+ JOURNAL = {IEEE Transactions on Software Engineering},
+ PAGES = {709--720},
+ VOLUME = 24,
+ NUMBER = 9,
+ MONTH = sep,
+ YEAR = 1998
+}
+
@TECHREPORT{Saibi94,
AUTHOR = {A. Sa\"{\i}bi},
INSTITUTION = {INRIA},