CIA2326 Week 14 LECTURE: Formal Specifications. How to reason with Algebraic Specifications TUTORIAL/PRACTICAL: Do the exercises given in last week s handout
The Martians Problem ... (b) A Martian is friendly to humans if all of its children have antennae. (c) A Martian is green if at least one of its parents is green. ...