Mili, Ali
URI(s)
Additional Information
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: His An introd. to formal progr. verif., 1984:CIP t.p. (Ali Mili, Laval Univ., McGill Univ.)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 1984-02-29: new
- 2008-12-05: revised
Alternate Formats