LOMAPS

AcronymDefinition
LOMAPSLogical and Operational Methods in the Analysis of Programs and Systems