Login / Signup
Enhancing the Pre- and Postcondition Technique for More Expressive Specifications.
Gary T. Leavens
Albert L. Baker
Published in:
World Congress on Formal Methods (1999)
Keyphrases
</>
delay insensitive
formal specification
high level
neural network
data mining
post treatment