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 Mon Dec 23 01:13:36 2024 UTC.