main navigation
my pace

SE 340 Formal Software Development Methods

Focus on an emerging and promising software development technique -the formal methods. Emphasize the practical applications of formal methods in various phases of the software development.

Credits

4 credits