@inproceedings{CSEET-2011-Virseda,
	author        = "Rafael del Vado Vírseda",
	booktitle     = "{Proceedings of the 24th Conference on Software Engineering Education and Training}",
	doi           = "10.1109/CSEET.2011.5876113",
	isbn          = "978-1-4577-0348-5",
	pages         = "401--405",
	publisher     = "{IEEE Computer Society}",
	title         = "{A learning methodology based on semantic tableaux for software engineering education}",
	year          = 2011,
}