A Formal Approach to the Specification of Java Components

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.

Abstract

Abstract is missing.