1. J.-R. Abrial S. Schuman and B. Meyer. 1980. Specification language. In R. M. McKeag and A. M. MacNaughten (Eds.). On the Construction of Programs: An Advanced Course 343. J.-R. Abrial S. Schuman and B. Meyer. 1980. Specification language. In R. M. McKeag and A. M. MacNaughten (Eds.). On the Construction of Programs: An Advanced Course 343.
2. One-Click Formal Methods