Neville Dean

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1995

2 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		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]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page