Lecture Formal methods in software engineering: Partial operator
Lecture Formal methods in software engineering: Partial operator
After studying this chapter you will be able to understand: Defining a type partial operators, basic types, type constructors, the set type constructor, operators on sets, operators on sets selecting elements, refinement.