@inproceedings{giorgetti:inria-00525784, TITLE = {{Specifying Generic Java Programs: two case studies}}, AUTHOR = {Giorgetti, Alain and March{\'e}, Claude and Tushkanova, Elena and Kouchnarenko, Olga}, URL = {https://inria.hal.science/inria-00525784}, BOOKTITLE = {{11th International Workshop on Language Descriptions, Tools, and Applications - LDTA'2010}}, ADDRESS = {Paphos, Cyprus}, PAGES = {92--106}, YEAR = {2010}, MONTH = Mar, PDF = {https://inria.hal.science/inria-00525784/file/gmtkLDTA2010.pdf}, HAL_ID = {inria-00525784}, HAL_VERSION = {v1}, }