Ian Wand

Computing Tomorrow: Future Research Directions in Computer Science

Robin Milner, Ian Wand, 1997 .

Computing Tomorrow: Frontmatter

Robin Milner, Ian Wand, 1996 .

Using PVS to Prove a Z Refinement: A Case Study

Susan Stepney, Ian Wand, David W. J. Stringer-Calvert, 1997, FME.

Computing Tomorrow: Preface

Robin Milner, Ian Wand, 1996 .

Computing Tomorrow: References

Robin Milner, Ian Wand, 1996 .

Computing Tomorrow: Index

Robin Milner, Ian Wand, 1996 .