formal approaches to software testing (15)
journal of academic librarianship (12)
online (11)
database (10)
american libraries (8)
international journal on software tools for technology transfer (6)
journal of equine veterinary science (6)
journal of biological physics (5)
perceptual & motor skills (5)
animals (2076-2615) (4)
annals of software engineering (4)
library journal (4)
machine learning (4)
appetite (3)
online (0146-5422) (3)
plos one (3)
biology of reproduction (2)
formal methods in system design (2)
immunology (2)
journal of surgical education (2)
library hi tech (2)
library trends (2)
neurochemical research (2)
online review (2)
practical horseman (2)
proceedings of the conference: design, automation & test in europe (2)
2008 design, automation and test in europe, design, automation and test in europe, 2008. date '08 (1)
2009 international conference on software testing verification and validation, software testing verification and validation, 2009. icst '09. international conference on (1)
2010 design, automation & test in europe conference & exhibition (date 2010), design, automation & test in europe conference & exhibition (date), 2010 (1)
2011 eighth international conference on quantitative evaluation of systems, quantitative evaluation of systems (qest), 2011 eighth international conference on (1)
2014 2nd international conference on model-driven engineering and software development (modelsward), model-driven engineering and software development (modelsward), 2014 2nd international conference on (1)
2014 ieee international symposium on software reliability engineering workshops, software reliability engineering workshops (issrew), 2014 ieee international symposium on (1)
2016 2nd international workshop on modelling, analysis, and control of complex cps (cps data), modelling, analysis, and control of complex cps (cps data), 2016 2nd international workshop on (1)
2017 ieee international conference on software testing, verification and validation workshops (icstw), software testing, verification and validation workshops (icstw), 2017 ieee international conference on, icstw (1)
2018 ieee international conference on software testing, verification and validation workshops (icstw), software testing, verification and validation workshops (icstw), 2018 ieee international conference on, icstw (1)
2020 ieee conference on industrial cyberphysical systems (icps), industrial cyberphysical systems (icps), 2020 ieee conference on (1)
2021 10th mediterranean conference on embedded computing (meco), embedded computing (meco), 2021 10th mediterranean conference on (1)
college and research libraries (1)
food quality and preference (1)
formal methods (1)
formal methods and testing (1)
formal modeling and analysis of timed systems (1)
iecon 2019 - 45th annual conference of the ieee industrial electronics society, industrial electronics society, iecon 2019 - 45th annual conference of the ieee (1)
iecon 2021 - 47th annual conference of the ieee industrial electronics society, industrial electronics society (iecon), 2021 47th annual conference of the ieee (1)
indrastra global (1)
information technology and libraries (1)
jalt call journal (1)
journal of neurochemistry (1)
perceptual and motor skills (1)
reproductive sciences (1)