formal aspects of computing (20)
formal methods for open object-based distributed systems (9783540348931) (19)
science of computer programming (13)
acta informatica (9)
formal aspects of computing: applicable formal methods (7)
acm transactions on programming languages & systems (6)
acm transactions on computational logic (5)
electronic notes in theoretical computer science (5)
fundamenta informaticae (4)
journal of automated reasoning (3)
logical methods in computer science (3)
nordic journal of computing (3)
theoretical computer science (3)
2022 ieee conference on software testing, verification and validation (icst), software testing, verification and validation (icst), 2022 ieee conference on, icst (2)
acm transactions on design automation of electronic systems (2)
automated software engineering (2)
business & information systems engineering (2)
computer languages, systems & structures (2)
fm 2014: formal methods (2)
fm 2015: formal methods (2)
formal methods & software engineering (9783642342806) (2)
formal methods in system design (2)
ieee embedded systems letters (2)
information processing letters (2)
integrated formal methods (9783642162640) (2)
integrated formal methods: 11th international conference, ifm 2014, bertinoro, italy, september 9-11, 2014, proceedings (2)
software & systems modeling (2)
2009 35th euromicro conference on software engineering and advanced applications, software engineering and advanced applications, 2009. seaa '09. 35th euromicro conference on (1)
2011 37th euromicro conference on software engineering and advanced applications, software engineering and advanced applications (seaa), 2011 37th euromicro conference on (1)
2013 18th international conference on engineering of complex computer systems (1)
2013 18th international conference on engineering of complex computer systems, engineering of complex computer systems (iceccs), 2013 18th international conference on (1)
2014 federated conference on computer science & information systems (1)
2014 federated conference on computer science and information systems, computer science and information systems (fedcsis), 2014 federated conference on (1)
2018 ieee/acm 40th international conference on software engineering (icse), software engineering (icse), 2018 ieee/acm 40th international conference on, icse (1)
2019 12th ieee conference on software testing, validation and verification (icst), software testing, validation and verification (icst), 2019 12th ieee conference on (1)
2019 ifip/ieee symposium on integrated network and service management (im), integrated network and service management (im), 2019 ifip/ieee symposium on (1)
2020 35th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2020 35th ieee/acm international conference on, ase (1)
2021 20th ieee international conference on machine learning and applications (icmla), machine learning and applications (icmla), 2021 20th ieee international conference on, icmla (1)
2021 ieee 21st international working conference on source code analysis and manipulation (scam), source code analysis and manipulation (scam), 2021 ieee 21st international working conference on, scam (1)
2022 ieee/acm 10th international conference on formal methods in software engineering (formalise), formal methods in software engineering (formalise), 2022 ieee/acm 10th international conference on, formalise (1)
2022 ieee/acm 19th international conference on mining software repositories (msr), mining software repositories (msr), 2022 ieee/acm 19th international conference on, msr (1)
2023 38th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2023 38th ieee/acm international conference on, ase (1)
algebraic methodology & software technology (9783540356332) (1)
applications of graph transformations with industrial relevance (1)
computer aided verification (9783642314230) (1)
computer aided verification (9783642397981) (1)
computer science: research & development (1)
critical systems: formal methods & automated verification (1)
fm 2009: formal methods (1)
formal aspects of component software 11th international symposium, facs 2014, bertinoro, italy, september 10-12, 2014, revised selected papers (1)