Login / Signup
Parameterized Specifications - Parameterized Passing and Implementation with Respect to Observability.
Harald Ganzinger
Published in:
ADT (1982)
Keyphrases
</>
general purpose
implementation details
specification language
data mining
e learning
high level