dblp.uni-trier.dewww.uni-trier.de

John Wordsworth

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1999
4EEJohn 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

1John Bainbridge [3]
2Robin W. Whitty (R. W. Whitty) [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)