DMCA

Automatic Equivalence Proofs for Non-deterministic (1303)

by Marcello Bonsangue A , Georgiana Caltais B , Eugen-ioan Goriac B , Dorel Lucanu C , Jan Rutten D , Ra Silva E