Thursday, July 3, 2014 Keywords: education By: Dr. Zara Continue reading Seminar on Formal Verification Using Alloy The ASERG research lab has organized a seminar on formal verification using Alloy. Those of you who are interested are welcome to join. Further details on the event can be found in the following brochure. Download Brochure at: http://ww2.comsats.edu.pk/ciitblogs/files/csseminar5.docx Thursday, July 3, 2014 Keywords: education By: Dr. Zara Continue reading