OpenAlex
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL
Work
Year: 2020
Type: book-chapter
Source: Lecture notes in computer science
Authors Simon Foster, Jonathan Julián Huerta y Munive, Georg Struth
Institutions University of York, University of Sheffield
Cites: 26
Cited by: 28
Related to: 10
FWCI: 4.929
Citation percentile (by year/subfield): 99.99
Topic: Logic, programming, and type systems
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed