R.D. Stansifier

titleISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
The Foundations of Programme Verification978-O-471-91282-8
(O-471-91282-4)
1987Jacques Loeckx · K. Sieber

D S · R.D. · R. S.

R D Steade