Using Relational Verification for Program Slicing - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich. Using Relational Verification for Program Slicing. In Peter Csaba Ölveczky, Gwen Salaün, editors, Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings. Volume 11724 of Lecture Notes in Computer Science, pages 353-372, Springer, 2019. [doi]

This author has not been identified. Look up 'Bernhard Beckert' in GoogleThis author has not been identified. Look up 'Thorsten Bormer' in GoogleThis author has not been identified. Look up 'Stephan Gocht' in GoogleThis author has not been identified. Look up 'Mihai Herda' in GoogleThis author has not been identified. Look up 'Daniel Lentzsch' in GoogleThis author has not been identified. Look up 'Mattias Ulbrich' in Google

runs on WebDSL