"Animating Formal Specifications with Inheritance in a DL-Based Framework."

Pedro Sánchez, Patricio Letelier, Isidro Ramos (1999)

Details and statistics

DOI: 10.1007/S007660050020

access: closed

type: Journal Article

metadata version: 2022-12-09

a service of  Schloss Dagstuhl - Leibniz Center for Informatics