Second-order constraints in dynamic invariant inference

Kaituo Li, Christoph Reichenbach, Yannis Smaragdakis, Michal Young

Forskningsoutput: Kapitel i bok/rapport/Conference proceedingKonferenspaper i proceedingPeer review

9 Citeringar (SciVal)

Fingeravtryck

Fördjupa i forskningsämnen för ”Second-order constraints in dynamic invariant inference”. Tillsammans bildar de ett unikt fingeravtryck.

Ingenjörs- och materialvetenskap