Report copyright - 40 Years of Formal Methodsdibj/2014/univ-nsw-talk.pdf · 2 0. Summary • In this “40 years of formal methods” talk we shall ⋄⋄ first delineate what we mean by method, formal
Please pass captcha verification before submit form
Please pass captcha verification before submit form