@techreport{tushkanova:inria-00434452, TITLE = {{Modular Specification of Java Programs}}, AUTHOR = {Tushkanova, Elena and Giorgetti, Alain and March{\'e}, Claude and Kouchnarenko, Olga}, URL = {https://inria.hal.science/inria-00434452}, TYPE = {Research Report}, NUMBER = {RR-7097}, PAGES = {26}, INSTITUTION = {{INRIA}}, YEAR = {2009}, PDF = {https://inria.hal.science/inria-00434452/file/RR-7097.pdf}, HAL_ID = {inria-00434452}, HAL_VERSION = {v1}, }