acm / sigplan notices (16)
acm sigplan notices (15)
communications of the acm (8)
acm transactions on computer systems (4)
acm transactions on graphics (3)
computer aided verification. part ii (3)
formal methods in system design (3)
genome biology (3)
international journal on software tools for technology transfer (3)
journal of affective disorders (3)
acm transactions on database systems (2)
computer aided verification (9783642314230) (2)
formal methods in system design: an international journal (2)
nature (2)
nature communications (2)
philosophical transactions of the royal society a: mathematical, physical & engineering sciences (2)
proceedings of the 19th acm sigsoft symposium & the 13th european conference: foundations of software engineering (2)
proceedings of the 34th acm sigplan conference programming language design & implementation (2)
proceedings of the 38th international conference on software engineering (2)
proceedings of the vldb endowment (2)
1st summit on advances in programming languages (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)
2015 54th ieee conference on decision & control (cdc) (1)
2015 54th ieee conference on decision and control (cdc), decision and control (cdc), 2015 ieee 54th annual conference on (1)
2016 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2016 (1)
2016 ieee/acm 38th international conference on software engineering (icse), software engineering (icse), 2016 ieee/acm 38th international conference on, icse (1)
2019 international conference on robotics and automation (icra), robotics and automation (icra), 2019 international conference on (1)
2022 ieee/cvf conference on computer vision and pattern recognition (cvpr), computer vision and pattern recognition (cvpr), 2022 ieee/cvf conference on, cvpr (1)
2nd summit on advances in programming languages (1)
acm sigarch computer architecture news (1)
acm sigops operating systems review (1)
acm transactions on parallel computing (1)
computer aided verification (1)
computer aided verification (9783319216676) (1)
computer aided verification. part i (1)
foundations & trends in programming languages (1)
hardware & software: verification & testing (9783642396106) (1)
hscc2021---proceedings of the 24th international conference on hybrid systems: computation and control (1)
icse: international conference on software engineering (1)
parallel problem solving from nature - ppsn xiii (1)
proceedings fifth workshop on synthesis (1)
proceedings fourth workshop on synthesis (1)
proceedings of the 34th acm sigplan conference on programming language design and implementation (1)
proceedings of the 41st acm sigplan-sigact symposium on principles of programming languages (1)
proceedings of the acm on programming languages (1)
proceedings sixth workshop on synthesis (1)
sc14: international conference for high performance computing, networking, storage and analysis, high performance computing, networking, storage and analysis, sc14: international conference for (1)
theory and applications of satisfiability testing---sat 2016 (1)
verification, model checking, and abstract interpretation (1)