Hybrid Dynamic Logic

Showing results in 'Talks'. Show all posts
From Abstract Requirements to Processes in the Same Logic 12/2/2015

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