Q. Axiomatic semantics specifies each statement of a language in terms of asemis (Solved)
1. predicate translation
2. predicate transformer
3. predicate q
4. none of this
- b. predicate transformer
1. predicate translation
2. predicate transformer
3. predicate q
4. none of this