125: UGLA to NOVA

The aim of the visit was to work towards completion of task T2.7 on “Inferring behavioural descriptions for b-APIs (O2.3)”. During this visit, initial discussions took place with António Ravara

Read More