Recommended Citation
Arrowsmith, Beth and McMillin, Bruce, "Teaching the Practice of Formal Methods in Distributed Computing Systems - A Module" (1994). Computer Science Technical Reports. 168.
https://scholarsmine.mst.edu/comsci_techreports/168
Department(s)
Computer Science
Report Number
CSc-94-19
Document Type
Technical Report
Document Version
Final Version
File Type
text
Language(s)
English
Rights
© 1994 University of Missouri - Rolla, All rights reserved
Publication Date
30 July, 1994
Comments
The first Author is a Graduate Student.
This work appeared as a preliminary module in the Teaching Formal Methods: Curriculum Development Workshop held at Hamilton College in Clinton, NY, July 31-August 5, 1994.
This work was supported in part by the National Science Foundation under Grant Numbers MSS-9216479 and CDA-9222827, and, in part, from the Air Force Office of Scientific Research under contract numbers F49620-92-J-0546 and F49620-93-I-0409 and, in part, by a grant from the University of Missouri Research Board.