Quick Links

CUI Home Research Portal Scholarships Portal Photo Gallery CUI Blogs CUI Job Portal Open Access Journals CUI Thesis Repository CUI Conference & Workshops CUI Union Catalogue

Research Paper Detail

Formalization of security properties using VDM-SL

Publisher: IEEE
Publication Year: 2015

First Author:  Hafiz Muhammad Tahir Second Author:  Ayza Shouket
Third Author:  Zeeshan Raza Volume: 
Publication #:  Page #:  1-6
Level:   National Type:  Conference
Email:  zeeshanraza@cuisahiwal.edu.pk
Zeeshan Raza

Lecturer
Computer Science Department
Sahiwal Campus

Profile.. Publications..


Contact Us
Tel: +92-51-9247000-9247002 and 9049802
UAN: +92-51-111-001-007
Reach Us at
Park Road, Tarlai Kalan,
Islamabad 45550, Pakistan


Powered by: ITCentre