Alliance Challenges Proposed Auto Insurance Plan of Cuomo As Unsoundly Structured
METHODS FOR BONDING LEADS AND TESTING BOND STRENGTH
APPARATUS FOR BONDING LEADS AND TESTING BOND STRENGTH
SmartDroid:an automatic system for revealing UI-based trigger conditions in android applications
Refinement types for Haskell
Summary of the epidemiological evidence relating snus to health.
If migraine prophylaxis does not work, think about compliance
Exception analysis and points-to analysis:better together
Exception analysis and points-to analysis: better together.
Range and Set Abstraction using SAT