Login / Signup
Dysfunctional Programming: Teaching Programming Using Formal Methods to Noncomputer Science Majors.
Michael Barnett
Phillip J. Windley
Published in:
Comput. Sci. Educ. (1994)
Keyphrases
</>
formal methods
programming course
computer programming
introductory computer science
programming language
artificial intelligence
computer science
programming environment
introductory programming
science education
formal analysis
e learning
computer science education
reactive systems