Open AccessRelational Differential Dynamic Logic
Author(s) -
Juraj Kolčák,
Jérémy Dubut,
Ichiro Hasuo,
Shin-ya Katsumata,
David Sprunger,
Akihisa Yamada
Publication year - 2020
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - computer science , differential (mechanical device) , dynamic logic (digital electronics) , theoretical computer science , electrical engineering , physics , engineering , transistor , voltage , thermodynamics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom