Search results for: Hasan Amjad
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 14-28
Lecture Notes in Computer Science > Frontiers of Combining Systems > Section 2. Technical Papers > 88-102
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Tool Combination > 171-187
Formal Aspects of Computing > 2013 > 25 > 6 > 893-931
Formal Aspects of Computing > 2010 > 22 > 6 > 735-772
Journal of Applied Logic > 2009 > 7 > 1 > 26-40
Journal of Automated Reasoning > 2008 > 41 > 3-4 > 193-218
Electronic Notes in Theoretical Computer Science > 2007 > 185 > Complete > 3-15
Electronic Notes in Theoretical Computer Science > 2006 > 145 > Complete > 45-61