Report copyright - Advancing Concurrent System Verificationramunasgutkovas.com/slides/lic.pdf · the proof have been machine-checked using Nominal Isabelle. 1. Introduction There is today a growing
Please pass captcha verification before submit form
Please pass captcha verification before submit form