↓ Skip to main content

Programming Languages and Systems

Overview of attention for book
Attention for Chapter 17: Solving Not-Substring Constraint withFlat Abstraction
Altmetric Badge


1 Dimensions

Readers on

1 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
Solving Not-Substring Constraint withFlat Abstraction
Chapter number 17
Book title
Programming Languages and Systems
Published by
Springer, Cham, January 2021
DOI 10.1007/978-3-030-89051-3_17
Book ISBNs
978-3-03-089050-6, 978-3-03-089051-3

Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Chen, Yu-Fang, Diep, Bui Phi, Holík, Lukáš, Hu, Denghang, Tsai, Wei-Lun, Wu, Zhillin, Yen, Di-De