Source Code Analysis with a Temporal Extension of First-Order Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

David Come, Julien Brunel, David Doose. Source Code Analysis with a Temporal Extension of First-Order Logic. In Tiago Massoni, Mohammad Reza Mousavi, editors, Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings. Volume 11254 of Lecture Notes in Computer Science, pages 20-38, Springer, 2018. [doi]

This author has not been identified. Look up 'David Come' in GoogleThis author has not been identified. Look up 'Julien Brunel' in GoogleThis author has not been identified. Look up 'David Doose' in Google

runs on WebDSL