Specifications with Observable Formulae and Observational Satisfaction Relation
Authors:
Teodor Knapik
Affiliations:
-
Venue:
Selected papers from the 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop on Recent Trends in Data Type Specification