dblp.uni-trier.dewww.uni-trier.de

R. D. Arthan

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1P. Caseley [8]
2D. King [5]
3Colin O'Halloran [5] [8]
4Alf Smith [8]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)