From Abstract Requirements to Processes in the Same LogicA talk by Alexandre Madeira, HASLab/INESC TEC and University of Minho.Read more