Loading...
The system can't perform the operation now. Try again later.
Articles
Case law
Profiles
My profile
My library
Metrics
Alerts
Settings
Get journal articles
Get journal articles
Profiles
My profile
My library
Hira Taqdees Syeda
Applied Sceintist II, Amazon Web Services
Verified email at amazon.com
Cited by 129
Formal Methods
Interactive Theorem Proving
Software Verification
Embedded Systems Design and Verification
Isabelle/HOL
Privacy
Terms
Help
About Scholar
Search help