Formal Methods in Software Engineering
Texas State University
CourseCS 5392
The use of design and specification languages in producing software systems. Emphasis is placed on proving correctness of designs and implementations.
Credits
3 credits
Course Code
CS 5392