LOMAPS

AcronymDefinition
LOMAPS➣Logical and Operational Methods in the Analysis of Programs and Systems