Julian Ch. Bradfield

TitelISBN-13
(ISBN-10)
Erscheinungsjahr
Verifying Temporal Properties of Systems978-3-7643-3625-7
(3-7643-3625-O)
1991

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

Julian Challis