UniTO/anno3/vpc/consegne/3/3.2-Measures.solution/PT.ctl

3 lines
41 B
Text
Raw Permalink Normal View History

2020-05-07 17:47:52 +02:00
% MEASURE0
2020-05-21 13:57:43 +02:00
AG ( #Q1==1 -> AF (#Q3 == 1))