acm / sigplan notices (17)
acm sigplan notices (12)
journal of functional programming (11)
journal of automated reasoning (7)
ieee transactions on computer-aided design of integrated circuits & systems (6)
proceedings of the second acm sigplan international conference: functional programming (4)
automated reasoning (3)
icse: international conference on software engineering (3)
automated deduction---cade-23 (2)
computer aided verification (2)
correct hardware design & verification methods (2)
discrete event dynamic systems: theory and applications (2)
epj web of conferences (2)
ifac papersonline (2)
ifac-papersonline (2)
logic for programming, artificial intelligence, and reasoning (2)
logical methods in computer science (2)
procedia computer science (2)
proceedings of the 18th acm sigplan international conference functional programming (2)
tests and proofs (2)
2008 9th international workshop on discrete event systems, discrete event systems, 2008. wodes 2008. 9th international workshop on (1)
2012 formal methods in computer-aided design (fmcad) (1)
2012 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2012 (1)
2013 formal methods in computer-aided design (1)
2013 formal methods in computer-aided design, formal methods in computer-aided design (fmcad), 2013 (1)
2018 formal methods in computer aided design (fmcad), formal methods in computer aided design (fmcad), 2018 (1)
2018 ieee workshop on monitoring and testing of cyber-physical systems (mt-cps), monitoring and testing of cyber-physical systems (mt-cps), 2018 ieee workshop on, mt-cps (1)
2019 ieee 15th international conference on automation science and engineering (case), automation science and engineering (case), 2019 ieee 15th international conference on (1)
2022 20th acm-ieee international conference on formal methods and models for system design (memocode), formal methods and models for system design (memocode), 2022 20th acm-ieee international conference on (1)
automated deduction - cade-22 (1)
automated deduction - cade-24 (1)
automated deduction---cade-22 (1)
automated deduction---cade-24 (1)
computer aided verification (9783540374060) (1)
computer aided verification (9783642397981) (1)
computer science - theory & applications (1)
discrete event dynamic systems: theory & applications (1)
discrete event dynamic systems-theory and applications (1)
eighth acm/ieee international conference on formal methods and models for codesign (memocode 2010), formal methods and models for codesign (memocode), 2010 8th ieee/acm international conference on (1)
electronic notes in theoretical computer science (1)
entcs: electronic notes in theoretical computer science (1)
formal approaches to software testing (1)
formal methods in computer aided design (fmcad'07) (1)
formal methods in computer aided design (fmcad'07), formal methods in computer aided design, 2007. fmcad '07 (1)
formal methods in computer-aided design (1)
formal methods in computer-aided design (978-3-540-41219-9) (1)
formal methods in system design: an international journal (1)
icfp'15---proceedings of the 20th acm sigplan international conference on functional programming (1)
ieee transactions on computer-aided design of integrated circuits and systems (1)
international journal on software tools for technology transfer (1)