J.C. Bradfield

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

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

J.C. Braekman

work chairs to luggage
when fingers take to loiter
because blossoms scold