Login / Signup

Motivating Study of Formal Methods in the Classroom.

Joy N. ReedJane E. Sinclair
Published in: TFM (2004)
Keyphrases
  • formal methods
  • formal analysis
  • databases
  • web services
  • case study
  • distributed systems