Gill Randell

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1990

2 Gill Randell: A Case Study in the Formal Refinement of a Distributed Secure System. ESORICS 1990: 201-208

1 Gill Randell: Data Flow Diagrams and Z. Z User Workshop 1990: 216-227

1990
2		Gill Randell: A Case Study in the Formal Refinement of a Distributed Secure System. ESORICS 1990: 201-208
1		Gill Randell: Data Flow Diagrams and Z. Z User Workshop 1990: 216-227