@inproceedings{FASE-2007-BachFS,
author = "Markus Bach and Florian Forster and Friedrich Steimann",
booktitle = "{Proceedings of the 10th International Conference on Fundamental Approaches to Software Engineering}",
doi = "10.1007/978-3-540-71289-3_10",
isbn = "978-3-540-71288-6",
pages = "117--120",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types}",
volume = 4422,
year = 2007,
}
Tags: