Blockchain for Iot SystemsV. Sridhar, Sita Rani, Piyush Kumar Pareek, Pankaj Bhambri, Ahmed A. Elngar₹12,159
Verification, Model Checking, and Abstract InterpretationFritz Henglein, Sharon Shoham, Yakir Vizel₹7,012