Login / Signup

Invited Talk: On the Concurrent Semantics of Transformation Systems with Negative Application Conditions.

Andrea Corradini
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2013)
Keyphrases