Peter J. Whysall

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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