David W. J. Stringer-Calvert
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1997–2002
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2002 | CCGRID | NEVRLATE: Scalable Resource Discovery. | Ajay Chander, Steven Dawson, Patrick Lincoln, David W. J. Stringer-Calvert |
| 2002 | TACAS | Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS. | Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha |
| 1998 | FM | PVS: An Experience Report. | Sam Owre, John M. Rushby, Natarajan Shankar, David W. J. Stringer-Calvert |
| 1997 | FM | Using PVS to Prove a Z Refinement: A Case Study. | David W. J. Stringer-Calvert, Susan Stepney, Ian Wand |