Answer
Create Contract
Answer
Answer
The post condition of an operation will belongs to one of the following category:
Answer
Answer
Following are the main sections:
Answer