We use cookies to ensure that we give you the best experience on our website Learn more
Parkin, G I; Austin, S M (1994) Overview: survey of formal methods in industry. IFIP Trans. C, Commun. Syst. (Netherlands), C - 22. 189 - 203