Publications Login
Home List all
@inproceedings{AZG_IEAAIE:09,
	author          = {Rui Abreu and Peter Zoeteweij and Arjan J.C. van Gemund},
	title           = {A Model-based Software Reasoning Approach to Software Debugging},
	booktitle       = {Procedings of the 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA-AIE'09)},
	publisher       = {Springer-Verlag},
	year            = {2009},
	month           = {June 24 -},
	editor          = {Been-Chian Chien and Tzung-Pei Hong},
	volume          = {214},
	series          = {Studies in Computational Intelligence},
	pages           = {233--239},
	address         = {Tainan, Taiwan},
	project         = {TRADER},
	group           = {ES}
}