CITATION STYLE
Fulton, N., Mitsch, S., Quesel, J.-D., Völp, M., & Platzer, A. (2015). KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems (pp. 527–538). https://doi.org/10.1007/978-3-319-21401-6_36
Mendeley helps you to discover research relevant for your work.