Gill Randell

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - 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