Information Technology Reference
In-Depth Information
15. Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall Series in
Computer Science. Prentice Hall, Englewood Cliffs (1997)
16. Spivey, J.M.: The Z Notation: A Reference Manual. Prentice-Hall International
Series In Computer Science. Prentice Hall PTR, Englewood Cliffs (1992)
17. von Wright, J.: Program Refinement by Theorem Prover. In: BCS FACS Sixth
Refinement Workshop - Theory and Practise of Formal Software Development,
London, U.K. Springer, Heidelberg (1994)
18. Zeyda, F., Cavalcanti, A.: Supporting
ArcAngel
in
ProofPower
. Electronic Notes in
Theoretical Computer Science 259, 225-243 (2009)
19. Zeyda, F., Cavalcanti, A.: Mechanical Reasoning about Families of UTP Theories.
Science of Computer Programming (March 2010),
doi:dx.doi.org/10.1016/j.scico.2010.02.010