R. D. Arthan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1988–2006
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | SEW | A Verified Formal Model of a VC Generator. | R. D. Arthan |
| 2000 | ICFEM | ClawZ: Control Laws in Z. | R. D. Arthan, P. Caseley, Colin O'Halloran, Alf Smith |
| 1991 | FM | On Formal Specification of a Proof Tool. | R. D. Arthan |
| 1988 | FM | Compiler Prototyping with VDM and Standard ML. | R. D. Arthan |