Carter, Gareth, Monahan, Rosemary and Morris, Joseph M.
(2005)
Software Refinement with Perfect Developer.
In:
Third IEEE International Conference on Software Engineering and Formal Methods, 2005 (SEFM 2005).
IEEE, pp. 363-372.
ISBN 0769524354
This list was generated on Thu Jan 9 01:36:02 2025 UTC.