Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by S.H. Edwards
Design and Specification of Iterators Using the Swapping Paradigm
IEEE Transactions on Software Engineering
Software