Hasan Amjad
发表
Richard Bornat,
Hasan Amjad,
R. Bornat,
2008,
VMCAI.
Hasan Amjad,
Hasan Amjad,
2008,
TPHOLs.
Hasan Amjad,
Tjark Weber,
Tjark Weber,
2009,
J. Appl. Log..
Richard Bornat,
Hasan Amjad,
R. Bornat,
2010,
Formal Aspects of Computing.
Hasan Amjad,
Hasan Amjad,
2003,
TPHOLs.
Richard Bornat,
Hasan Amjad,
R. Bornat,
2008,
VERIFY.
Hasan Amjad,
2005,
TPHOLs.
Richard Bornat,
Hasan Amjad,
2011,
Formal Aspects of Computing.
Hasan Amjad,
2007,
FroCoS.
Hasan Amjad,
2007,
Electron. Notes Theor. Comput. Sci..
Hasan Amjad,
2006,
Electron. Notes Theor. Comput. Sci..
Hasan Amjad,
2004
.
Hasan Amjad,
2008,
Journal of Automated Reasoning.