Julian Charles Bradfield

titleISBN-13
(ISBN-10)
year of publication
Verifying Temporal Properties of Systems978-O-8176-3625-8
(O-8176-3625-O)
1992

C B · Charles B. · J.B. · J C · J.C. Bradfield · J. Charles · Julian B · Julian Bradfield

Julian. Charles, Donald, May