Visibly Linear Temporal Logic.

Laura Bozzelli, Csar Snchez

Browse the full CADE paper archive.