Specifications with Observable Formulae and Observational Satisfaction Relation.

Teodor Knapik

Browse the full COMPASS paper archive.