A logic-based Formalization for Component Specification

By: Juliana Küster Filipe

Cite as:

Juliana Küster Filipe, “A logic-based Formalization for Component Specification”, Journal of Object Technology, Volume 1, no. 3 (August 2002), pp. 231-248, doi:10.5381/jot.2002.1.3.a13.

PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn

The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact