DMCA

Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus

Cached

Download Links

by Daisuke Ishii , Guillaume Melquiond , Shin Nakajima