This lecture explains about the specification of a software using difference state variables. The case study uses sets, partial functions and bags as state variables.
Download
0 formats
No download links available.
18 - Formal Methods_ Case study Order in Stock | NatokHD