CS 5392 · 2026–27 catalog
Formal Methods in Software Engineering
Texas State University · 3 credit hours
3Credit hours
Plan your classes
Read the full official catalog entry
Open the official class schedule. Choose your term, then search for CS 5392.