an interactive tool for refining software specifications from a formal domain model (en Inglés)

anderson, gary l. · biblioscholar