Markus Lumpe
GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions
CBSE, 2006.
@inproceedings{CBSE-2006-Lumpe, author = "Markus Lumpe", booktitle = "{Proceedings of the Ninth International Symposium on Component-Based Software Engineering}", doi = "10.1007/11783565_2", isbn = "3-540-35628-2", pages = "17--32", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{GLoo: A Framework for Modeling and Reasoning About Component-Oriented Language Abstractions}", volume = 4063, year = 2006, }