SIMPAL: a compositional reasoning framework for imperative programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lucas Wagner, David Greve, Andrew Gacek. SIMPAL: a compositional reasoning framework for imperative programs. In Hakan Erdogmus, Klaus Havelund, editors, Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017. pages 90-93, ACM, 2017. [doi]

This author has not been identified. Look up 'Lucas Wagner' in GoogleThis author has not been identified. Look up 'David Greve' in GoogleThis author has not been identified. Look up 'Andrew Gacek' in Google

runs on WebDSL