Deltakere i AVABI: Automated validation for behavioral interfaces of asynchronous active objects

Navn Telefon E-post Emneord
Martin Steffen Professor +47 22850417 msteffen@ifi.uio.no