Login / Signup

Run-Time Monitoring of Electronic Contracts.

Marcel KyasCristian PrisacariuGerardo Schneider
Published in: ATVA (2008)
Keyphrases