Login / Signup

Deriving behavior of multi-user processes from interactive requirements validation.

Gregor GabrysiakHolger GieseAndreas Seibel
Published in: ASE (2010)
Keyphrases