Stelvio Cimato, Paolo Ciancarini. A Formal Approach to the Specification of Java Components. In Ana M. D. Moreira, Serge Demeyer, editors, Object-Oriented Technology, ECOOP 99 Workshop Reader, ECOOP 99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings. Volume 1743 of Lecture Notes in Computer Science, pages 107-108, Springer, 1999.
@inproceedings{CimatoC99, title = {A Formal Approach to the Specification of Java Components}, author = {Stelvio Cimato and Paolo Ciancarini}, year = {1999}, tags = {Java, systematic-approach}, researchr = {https://researchr.org/publication/CimatoC99}, cites = {0}, citedby = {0}, pages = {107-108}, booktitle = {Object-Oriented Technology, ECOOP 99 Workshop Reader, ECOOP 99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings}, editor = {Ana M. D. Moreira and Serge Demeyer}, volume = {1743}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-66954-X}, }