back [alt+←]
30

Hyperproperties in programming by Computer Things