Search the dblp DataBase
John Wordsworth :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
John Wordsworth Practical Experience of Formal Specification: A Programming Interface for Communications. [Citation Graph (0, 0)][DBLP ] ESEC, 1989, pp:140-158 [Conf ] John Bainbridge , R. W. Whitty , John Wordsworth Obtaining Structural Metrics of Z Specifications for Systems Development. [Citation Graph (0, 0)][DBLP ] Z User Workshop, 1990, pp:269-281 [Conf ] John Wordsworth The CICS Application Programming Interface Definition. [Citation Graph (0, 0)][DBLP ] Z User Workshop, 1990, pp:285-294 [Conf ] John Wordsworth Getting the best from formal methods. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 1999, v:41, n:14, pp:1027-1032 [Journal ] Search in 0.001secs, Finished in 0.001secs