Login / Signup

Institutions for Behaviour Specification.

José Luiz FiadeiroJosé Félix Costa
Published in: COMPASS/ADT (1994)
Keyphrases