DMCA

A Logic-Based Formalization for Component Specification (2002)

by Juliana Küster Filipe
Citations:6 - 0 self