Theorem Proving and Computer Algebra for Hybrid Systems (Keynote Abstract)

Download PDF

André Platzer

Published: 01 Jan 2023, Last Modified: 16 May 2024SC-Square@ISSAC 2023EveryoneRevisionsBibTeXCC BY-SA 4.0