: Verifying electronic control unit: today and tomorrow.
: Programming language semantics in foundational type theory.
: Refinement types for specification.
Wim H. Hesselink
: The design of a linearization of a concurrent data object.
, C. Zhou
: A combination of interval logic and linear temporal logic.