Foundational Verification of Smart Contracts through Verified Compilation von Sjöberg, Vilhelm, Dave, Kinnari, Britten, Daniel, Schett, Maria A, Sun, Xinyuan, Wang, Qinshi, Anderson, Sean Noble, Reeves, Steve, Shao, Zhong

Volltext bestellen

Foundational Verification of Smart Contracts through Verified Compilation von Sjöberg, Vilhelm, Kinnari Dave, Britten, Daniel, Schett, Maria A, Sun, Xinyuan, Wang, Qinshi, Sean Noble Anderson, Reeves, Steve, Shao, Zhong

Volltext

New insights from the genetic work-up in early onset nephrotic syndrome: report from a registry in western India von Sharma, Jyoti, Saha, Anshuman, Ohri, Alpana, More, Vaishali, Shah, Fagun, Dave, Jalpa, Jain, Brinda Panchal, Matnani, Manoj, Sathe, K., Bhansali, Pankaj, Chhajed, Puneet, Deore, Pawan, Pande, Nivedita, Shah, Chintan, Kinnari, Vala, Singhal, Jyoti, Krishnamurthy, Nisha, Agarwal, Meenal, Ali, Uma

Volltext