ginecologia.ro (22)
international journal on software tools for technology transfer (16)
bioinformatics (9)
formal aspects of computing (8)
science of computer programming (7)
acta informatica (5)
ieee transactions on software engineering (4)
theoretical computer science (4)
entcs: electronic notes in theoretical computer science (3)
internet of things (3)
logical methods in computer science (3)
electronic notes in theoretical computer science (2)
formal aspects of computing: applicable formal methods (2)
journal of intelligent & robotic systems (2)
2008 6th acm/ieee international conference on formal methods and models for co-design, formal methods and models for co-design, 2008. memocode 2008. 6th acm/ieee international conference on (1)
2009 international conference on advanced information networking and applications workshops, advanced information networking and applications workshops, 2009. waina '09. international conference on (1)
2010 ieee international conference on bioinformatics and biomedicine workshops (bibmw), bioinformatics and biomedicine workshops (bibmw), 2010 ieee international conference on (1)
2018 24th ieee international symposium on asynchronous circuits and systems (async), asynchronous circuits and systems (async), 2018 24th ieee international symposium on, async (1)
2019 ieee international conference on cybernetics and intelligent systems (cis) and ieee conference on robotics, automation and mechatronics (ram), cybernetics and intelligent systems (cis) and ieee conference on robotics, automation and mechatronics (ram), 2019 ieee international conference on (1)
2019 ieee/acm 41st international conference on software engineering: companion proceedings (icse-companion), software engineering: companion proceedings (icse-companion), 2019 ieee/acm 41st international conference on (1)
2019 ieee/acm 7th international conference on formal methods in software engineering (formalise), formal methods in software engineering (formalise), 2019 ieee/acm 7th international conference on (1)
2021 ieee/acm 43rd international conference on software engineering: companion proceedings (icse-companion), software engineering: companion proceedings (icse-companion), 2021 ieee/acm 43rd international conference on, icse-companion (1)
2021 international symposium on software engineering for adaptive and self-managing systems (seams), software engineering for adaptive and self-managing systems (seams), 2021 international symposium on, seams (1)
2022 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2022 (1)
acm sigsoft software engineering notes (1)
advances in enterprise engineering i (1)
algebraic methodology and software technology (amazonia, 1999) (1)
automated technology for verification & analysis (9783540883869) (1)
bmc bioinformatics (1)
computer aided verification (1)
computer aided verification (9783540733676) (1)
electronic proceedings in theoretical computer science (1)
fm 2008: formal methods (1)
fm 2009: formal methods (1)
formal methods & software engineering: 16th international conference on formal engineering methods, icfem 2014, luxembourg, luxembourg, november 3-5, 2014. proceedings (1)
formal methods for industrial critical systems (9783642158971) (1)
formal methods in system design (1)
formal methods in system design: an international journal (1)
formal methods---the next 30 years (1)
foundations of software engineering (1)
from software engineering to formal methods and tools, and back (1)
ieee transactions on software engineering, software engineering, ieee transactions on, iieee trans. software eng. (1)
international journal of simulation and process modeling (1)
international journal on software tools for technology transfer (sttt) (1)
journal of intelligent & robotic systems: with a special section on unmanned systems (1)
model checking software (1)
model checking software (9783540331025) (1)
science of computer programming. methods of software design: techniques and applications (1)
tools & algorithms for the construction & analysis of systems (9783540253334) (1)
tools & algorithms for the construction & analysis of systems (9783540330561) (1)