Quantitative Weak Linearisation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sandra Alves, Daniel Ventura. Quantitative Weak Linearisation. In Helmut Seidl, Zhiming Liu 0001, Corina S. Pasareanu, editors, Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings. Volume 13572 of Lecture Notes in Computer Science, pages 78-95, Springer, 2022. [doi]

This author has not been identified. Look up 'Sandra Alves' in GoogleThis author has not been identified. Look up 'Daniel Ventura' in Google

runs on WebDSL