"Although it is widely recognized that environmental factors such as smoking, diet, exercise, and socioeconomic status affect the risk of cardiovascular disease, recent work showing the effects of other environmental factors provides a more complete assessment of the situation. This view has emerged from three developments. Firstly, there has been a sudden explosion in the prevalence of diabetes and obesity which indicates a strong envir ..."
Programming Languages and Systems 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II by Stephanie Weirich 462 Pages, Published by Springer Nature ISBN-13: 978-3-031-57267-8, ISBN: 3-031-57267-X
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II by Dirk Beyer , Marieke Huisman 474 Pages, Published 2018 by Springer ISBN-13: 978-3-319-89963-3, ISBN: 3-319-89963-5
Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings by Andreas Podelski 445 Pages, Published 2018 by Springer ISBN-13: 978-3-319-99725-4, ISBN: 3-319-99725-4
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15–18, 2019, Proceedings, Part I by Isil Dillig 680 Pages, Published 2000 by Springer ISBN-13: 978-3-030-25540-4, ISBN: 3-030-25540-9
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III by Constantin Enea , Akash Lal 513 Pages, Published 2023 by Springer Nature ISBN-13: 978-3-031-37709-9, ISBN: 3-031-37709-5