Manish Garg <br/><br/>
Formal specification of police portal's complaint module using Z and OCL 

<br/><br/>
<br/><br/><label>Subjects--Topical Terms: </label><br/>POLICE PORTAL COMPLAINT MODULE<br/>OCL