Richard Freeman Paige

Search results

• 2010

  Programming Phase: Formal Methods

  Paige, R. F., Woodcock, J., Brooke, P. J. & Cavalcanti, A., 2010, Encyclopedia of Software Engineering. Taylor & Francis, p. 772-785 14 p.

  Research output: Chapter in Book/Report/Conference proceeding › Entry for encyclopedia/dictionary