%0 Conference Paper %1 conf/cade/FultonMQVP15 %A Fulton, Nathan %A Mitsch, Stefan %A Quesel, Jan-David %A Völp, Marcus %A Platzer, André %B CADE %D 2015 %E Felty, Amy P. %E Middeldorp, Aart %I Springer %K %P 527-538 %T KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems. %U http://dblp.uni-trier.de/db/conf/cade/cade2015.html#FultonMQVP15 %V 9195 %@ 978-3-319-21400-9

@inproceedings{conf/cade/FultonMQVP15, added-at = {2023-12-13T08:54:58.000+0100}, author = {Fulton, Nathan and Mitsch, Stefan and Quesel, Jan-David and Völp, Marcus and Platzer, André}, biburl = {https://www.bibsonomy.org/bibtex/213c40a78aef3068d208fce9584f1e994/admin}, booktitle = {CADE}, crossref = {conf/cade/2015}, editor = {Felty, Amy P. and Middeldorp, Aart}, ee = {https://doi.org/10.1007/978-3-319-21401-6_36}, interhash = {c8f3925bc44109a2c75fcfa536e39988}, intrahash = {13c40a78aef3068d208fce9584f1e994}, isbn = {978-3-319-21400-9}, keywords = {}, pages = {527-538}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T08:54:58.000+0100}, title = {KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2015.html#FultonMQVP15}, volume = 9195, year = 2015 }