Login / Signup
Motivating Study of Formal Methods in the Classroom.
Joy N. Reed
Jane E. Sinclair
Published in:
TFM (2004)
Keyphrases
</>
formal methods
formal analysis
databases
web services
case study
distributed systems