Login / Signup

A Structured Analysis Formalism with Execution Semantics to Allow Unambiguous Model Interpretation.

Craig GaskellRoger Phillips
Published in: ESEC (1995)
Keyphrases