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

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team —

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