Report copyright - Specification and Proof in Real-Time Systems · Specification and Proof in Real-time Systems. Jim Davies . ... to Alice, for everything. Time present and time past Are botb perbaps
Please pass captcha verification before submit form