Courses Taught
Fall 2000:
CS 551/651: Formal Techniques in Software Development
Spring 2001:
CS 340: Advanced Software Development Methods
Fall 2001:
CS 551/651: Formal Techniques in Software Development
Copyright © 2001 John C. Knight.