Hybrid Dynamic Logic

From Abstract Requirements to Processes in the Same Logic 12/2/2015

By Alexandre Madeira, HASLab/INESC TEC and University of Minho.