Peter J. Whysall

List of publications from the DBLP Bibliography Server - FAQ

1992

2 Peter J. Whysall: Z Expression of Refinable Objects. Object Orientation in Z 1992: 29-35

1990

1 Peter J. Whysall, John A. McDermid: An Approach to Object-Oriented Specification Using Z. Z User Workshop 1990: 193-215

1992
2		Peter J. Whysall: Z Expression of Refinable Objects. Object Orientation in Z 1992: 29-35
1990
1		Peter J. Whysall, John A. McDermid: An Approach to Object-Oriented Specification Using Z. Z User Workshop 1990: 193-215

Coauthor Index