Neville Dean

According to our database, Neville Dean authored at least 2 papers in 1995.

Collaborative distances:

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

1995

Mental Models of Z: I - Sets and Logics.

Neville Dean

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

Introducing formal methods through role-playing.

Neville Dean, Michael G. Hinchey

Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, 1995