Toggle navigation
HU Home
عربي
Home
About me
Publications
Students
Announcements
Contact
عربي
Welcome
Students
Publications
Research Interests
Published Research
Published Books
Academic Conferences
Thesis Supervision
Awards/Prizes/Orders
Ongoing Research
Contact us
Welcome to the Hashemite University faculty staff website.
Published Books
Book Title
Book Research Area
Year
Cover
Book Link
The Verification of MDG Algorithms in the HOL Theorem Prover
Formal Methods, Verification
2009
Visit Url
Copyright © 2018 The Hashemite University ICET.