EasyChair Smart Slide
Nominal Techniques for Software Specification and Verification
Nominal Techniques for Software Specification and Verification