Isabelle Dony

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2006

2 Isabelle Dony, Baudouin Le Charlier: A tool for helping teach a programming method. ITiCSE 2006: 212-216

2004

1 Isabelle Dony, Baudouin Le Charlier: A Program Verification System Based on Oz. MOZ 2004: 41-52

	2006
2		Isabelle Dony, Baudouin Le Charlier: A tool for helping teach a programming method. ITiCSE 2006: 212-216
	2004
1		Isabelle Dony, Baudouin Le Charlier: A Program Verification System Based on Oz. MOZ 2004: 41-52

Coauthor Index