J. C. P. Woodclock

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1991

1 J. C. P. Woodclock, S. M. Brien: W: A Logic for Z. Z User Workshop 1991: 77-96

	1991
1		J. C. P. Woodclock, S. M. Brien: W: A Logic for Z. Z User Workshop 1991: 77-96

Coauthor Index