Reserved Area
Home
Talks
About and Contact
InfoBlender
HASLab Seminar
(email)
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.
Read more