fundamenta informaticae (4)
international journal on software tools for technology transfer (4)
ieee micro (3)
ieee transactions on computer-aided design of integrated circuits & systems (3)
acm / sigplan notices (2)
acm sigplan notices (2)
mathematical structures in computer science (2)
13th international conference on interactive theorem proving (1)
2012 27th annual ieee symposium on logic in computer science (1)
2012 27th annual ieee symposium on logic in computer science, logic in computer science (lics), 2012 27th annual ieee symposium on (1)
2015 international conference on embedded software (emsoft) (1)
2019 7th international conference in software engineering research and innovation (conisoft), software engineering research and innovation (conisoft), 2019 7th international conference in (1)
2019 american control conference (acc), control conference (acc), 2019 american (1)
2020 aiaa/ieee 39th digital avionics systems conference (dasc), digital avionics systems conference (dasc), 2020 ieee/aiaa 39th (1)
2020 american control conference (acc), american control conference (acc), 2020 (1)
2021 american control conference (acc), american control conference (acc), 2021 (1)
2022 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2022 (1)
2022 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2022 (1)
2022 ieee/acm sixth international workshop on software correctness for hpc applications (correctness), software correctness for hpc applications (correctness), 2022 ieee/acm sixth international workshop on, correctness (1)
2022 international conference on embedded software (emsoft), embedded software (emsoft), 2022 international conference on, emsoft (1)
2023 ieee/acm 45th international conference on software engineering (icse), software engineering (icse), 2023 ieee/acm 45th international conference on, icse (1)
automated reasoning (1)
automated reasoning: 7th international joint conference, ijcar 2014, held as part of the vienna summer of logic, vsl 2014, vienna, austria, july 19-22, 2014. proceedings (1)
computer aided verification. part ii. (1)
descriptional complexity of formal systems (1)
descriptional complexity of formal systems (9783642316227) (1)
dissertation abstract international (1)
dissertation abstracts international (1)
engineering secure software & systems (9783642365621) (1)
entcs: electronic notes in theoretical computer science (1)
hscc2020---proceedings of the 23rd international conference on hybrid systems: computation and control (1)
hscc2021---proceedings of the 24th international conference on hybrid systems: computation and control (1)
ifac-papersonline (1)
journal of aerospace information systems (1)
journal of automata, languages and combinatorics (1)
logic & program semantics (1)
logic and program semantics (1)
mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science (1)
proceedings of the 2012 27th annual acm/ieee symposium on logic in computer science (1)
proceedings of the 2012 27th annual ieee acm symposium on logic in computer science (1)
proceedings of the 41st acm sigplan-sigact symposium principles of programming languages (1)
programming languages & systems (9783642370359) (1)
tools & algorithms for the construction & analysis of systems 21st international conference, tacas 2015, held as part of the european joint conferences on theory & practice of software, etaps 2015, london, uk, april 11-18, 2015, proceedings (1)
twenty-seventh conference on the mathematical foundations of programming semantics (mfps xxvii) (1)