J. M. Burgos, J. Galve, J. García, J. J. Moreno, S. Muñoz, D. Villén
Abstract solution design by specification refinement
ITiCSE, 2000.
@inproceedings{ITiCSE-2000-BurgosGGMMV,
author = "J. M. Burgos and J. Galve and J. García and J. J. Moreno and S. Muñoz and D. Villén",
booktitle = "{Proceedings of the Fifth Conference on Innovation and Technology in Computer Science Education}",
doi = "10.1145/343048.343186",
isbn = "1-58113-207-7",
pages = "186",
publisher = "{ACM}",
title = "{Abstract solution design by specification refinement}",
year = 2000,
}