Vol-3454⫷ Vol-3455 ⫸Vol-3456
urn:nbn:de:0074-3455-0


Vol-3455/invited1⫷Vol-3455/invited2⫸Vol-3455/paper1
André Platzer

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