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

3 lines
40 B
Text
Raw Permalink Normal View History

2020-05-08 15:30:53 +02:00
% MEASURE0
2020-05-21 13:57:43 +02:00
AG (#Q2==1 -> AF (#Q4 == 1))