Formal Specification and Analysis in Software Engineering

3.00 units · Undergraduate / professional