Contact DMCA Privacy

Robuta

https://easychair.org/smart-slide/slide/bdcJ
Nominal Techniques for Software Specification and Verification
nominal techniquessoftware specificationverification