Login / Signup
Understanding formal specifications through good examples.
Alex Gerdes
John Hughes
Nicholas Smallbone
Stefan Hanenberg
Sebastian Ivarsson
Meng Wang
Published in:
Erlang Workshop (2018)
Keyphrases
</>
formal specification
specification languages
object oriented design
model checking
specification language
training examples
reverse engineering
software testing
programming language
cooperative
general purpose
process algebra