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