Les mer på den engelske prosjektsiden
AVABI: Automated validation for behavioral interfaces of asynchronous active objects (avsluttet)
Publisert 6. juni 2013 13:44
- Sist endret 7. feb. 2020 15:50
Deltakere
-
Martin Steffen Universitetet i Oslo
feeds, line 232, column 20: /ifi/forskning/prosjekter/avabi/aktuelt/?vrtx=feed does not exist
feeds, line 232, column 20: /ifi/forskning/prosjekter/avabiarrangementer/?vrtx=feed does not exist
feeds, line 232, column 20: /ifi/forskning/prosjekter/avabi/publikasjoner/?vrtx=feed does not exist