John Wordsworth

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1999

4 John Wordsworth: Getting the best from formal methods. Information & Software Technology 41(14): 1027-1032 (1999)

1990

3 John Bainbridge, R. W. Whitty, John Wordsworth: Obtaining Structural Metrics of Z Specifications for Systems Development. Z User Workshop 1990: 269-281

2 John Wordsworth: The CICS Application Programming Interface Definition. Z User Workshop 1990: 285-294

1989

1 John Wordsworth: Practical Experience of Formal Specification: A Programming Interface for Communications. ESEC 1989: 140-158

	1999
4		John Wordsworth: Getting the best from formal methods. Information & Software Technology 41(14): 1027-1032 (1999)
	1990
3		John Bainbridge, R. W. Whitty, John Wordsworth: Obtaining Structural Metrics of Z Specifications for Systems Development. Z User Workshop 1990: 269-281
2		John Wordsworth: The CICS Application Programming Interface Definition. Z User Workshop 1990: 285-294
	1989
1		John Wordsworth: Practical Experience of Formal Specification: A Programming Interface for Communications. ESEC 1989: 140-158

Coauthor Index

1 John Bainbridge [3]

2 Robin W. Whitty (R. W. Whitty) [3]