↓ Skip to main content

Programming Languages and Systems

Overview of attention for book
Attention for Chapter 16: Proving LTL Properties of Bitvector Programs and Decompiled Binaries
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
3 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Proving LTL Properties of Bitvector Programs and Decompiled Binaries
Chapter number 16
Book title
Programming Languages and Systems
Published by
Springer, Cham, January 2021
DOI 10.1007/978-3-030-89051-3_16
Book ISBNs
978-3-03-089050-6, 978-3-03-089051-3
Authors

Liu, Yuandong Cyrus, Pang, Chengbin, Dietsch, Daniel, Koskinen, Eric, Le, Ton-Chanh, Portokalidis, Georgios, Xu, Jun