Structuring Meachanisms for an Object-Oriented Formal Specification Language

Márcio Cornélio, Paulo Borba. Structuring Meachanisms for an Object-Oriented Formal Specification Language. In William B. Frakes, editor, Software Reuse: Advances in Software Reusability, 6th International Conerence, ICSR-6, Vienna, Austria, June 27-29, 2000, Proceedings. Volume 1844 of Lecture Notes in Computer Science, pages 402-419, Springer, 2000.

Authors

Márcio Cornélio

This author has not been identified. Look up 'Márcio Cornélio' in Google

Paulo Borba

This author has not been identified. It may be one of the following persons: Look up 'Paulo Borba' in Google