Neville Dean

List of publications from the DBLP Bibliography Server - FAQ

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

1995

2 EE Neville Dean, Michael G. Hinchey: Introducing formal methods through role-playing. SIGCSE 1995: 302-306

1 Neville Dean: Mental Models of Z: I - Sets and Logics. ZUM 1995: 498-507

1995
2	EE	Neville Dean, Michael G. Hinchey: Introducing formal methods through role-playing. SIGCSE 1995: 302-306
1		Neville Dean: Mental Models of Z: I - Sets and Logics. ZUM 1995: 498-507

Coauthor Index

1 Michael G. Hinchey (Mike Hinchey) [2]