A logic-based Formalization for Component Specification
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