The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

R. D. Arthan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. R. D. Arthan
    Compiler Prototyping with VDM and Standard ML. [Citation Graph (0, 0)][DBLP]
    VDM Europe, 1988, pp:101-115 [Conf]
  2. R. D. Arthan
    On Formal Specification of a Proof Tool. [Citation Graph (0, 0)][DBLP]
    VDM Europe (1), 1991, pp:356-370 [Conf]
  3. R. D. Arthan, P. Caseley, Colin O'Halloran, Alf Smith
    ClawZ: Control Laws in Z. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2000, pp:169-176 [Conf]
  4. R. D. Arthan
    An Irrational Construction of R from Z. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2001, pp:43-58 [Conf]
  5. R. D. Arthan
    A Report on ICL HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1991, pp:280-283 [Conf]
  6. R. D. Arthan
    Analysis of Compiled Code: A Prototype Formal Model. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:433-449 [Conf]
  7. R. D. Arthan
    On Free Type Definitions in Z. [Citation Graph (0, 0)][DBLP]
    Z User Workshop, 1991, pp:40-58 [Conf]
  8. R. D. Arthan
    Recursive Definitions in Z. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:154-171 [Conf]
  9. R. D. Arthan
    A Verified Formal Model of a VC Generator. [Citation Graph (0, 0)][DBLP]
    SEW, 2006, pp:263-271 [Conf]
  10. Colin O'Halloran, R. D. Arthan, D. King
    Using a Formal Specification Contractually. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1997, v:9, n:4, pp:349-358 [Journal]

  11. Building a Library of Mechanized Mathematical Proofs: Why Do It? and What Is It Like to Do? [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002