Login / Signup

Verification of Model Transformations: A Case Study with BPEL.

Luciano BaresiKarsten EhrigReiko Heckel
Published in: TGC (2006)
Keyphrases