Richard Freeman Paige – Publications — York Research Database

Accepting PhD Students

If you made any changes in Pure these will be visible here soon.

1 results

Filter

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