Nicholas Daley

According to our database, Nicholas Daley authored at least 1 paper in 2003.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2003

ZML: XML Support for Standard Z.

Mark Utting, Ian Toyn, Jing Sun, Andrew P. Martin, Jin Song Dong, Nicholas Daley, David W. Currie

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003