Books listed by ISBN
>
Wiley
> R.D. Stansifier
R.D. Stansifier
title
ISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
The Foundations of Programme Verification
978-O-471-91282-8
(O-471-91282-4)
1987
Jacques Loeckx · K. Sieber
D S
·
R.D.
·
R. S.
R D Steade