Are interface theories equivalent to contract theories?

Pierluigi Nuzzo Antonio Iannopollo Stavros Tripakis Alberto L. Sangiovanni-Vincentelli

Published in: MEMOCODE (2014)

Keyphrases

real time
data mining
information retrieval
website
multi agent
theoretical framework