CS636 paper bhot zada easy tha. Mcqs ek doe file kro aur handouts ko achy sy concept clear kro ho jay gay. Even Quizzes kr lo gay toe mcqs done. 1. inRange function. 2. Two Ways of Specify Function in VDM-SL: 3. 3. Role of Well-Formedness: 4. Which Operator Joins Two Sequences? 5. aur yahi long ma tah example likhni thi. 6. Completeness of Formal Method: 7. operation k 4 part k name just Tip: sary last exam ma jo current papers yt pr yah kahi b share hoy hain, inko combine krain aur wo rady aur Maha rana ki file kr lain. 100% percent paper wohi sy aye ga.