Kelvin J. Ross
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
1993–1996
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1996 | APSEC | Formal Methods Pilot Project. | Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor |
| 1994 | FM | A Precise Examination of the Behaviour of Process Models. | Kelvin J. Ross, Peter A. Lindsay |
| 1993 | FM | Maintaining Consistency Under Changes to Formal Specifications. | Kelvin J. Ross, Peter A. Lindsay |