Ian Wand

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1997

1 David W. J. Stringer-Calvert, Susan Stepney, Ian Wand: Using PVS to Prove a Z Refinement: A Case Study. FME 1997: 573-588

	1997
1		David W. J. Stringer-Calvert, Susan Stepney, Ian Wand: Using PVS to Prove a Z Refinement: A Case Study. FME 1997: 573-588

Coauthor Index