journal of academic librarianship (8)
journal of functional programming (8)
journal of computer security (7)
communications of the acm (6)
serials review (6)
acm transactions on computer systems (5)
acm sigops operating systems review (4)
formal aspects of computing (4)
ieee security & privacy (4)
journal of automated reasoning (4)
journal of the society of archivists (4)
acm / sigplan notices (2)
acm international conference proceeding series (2)
acm sigplan notices (2)
bmj case reports (2)
creative review (2)
farmers weekly (2)
formal methods in system design (2)
information and software technology (2)
interactive theorem proving (2)
philosophical transactions of the royal society a: mathematical, physical & engineering sciences (2)
the american archivist (2)
10th international conference on interactive theorem proving (1)
2013 35th international conference on software engineering (icse) (1)
2013 35th international conference on software engineering (icse), software engineering (icse), 2013 35th international conference on (1)
2013 ieee symposium on security & privacy (1)
2013 ieee symposium on security and privacy, security and privacy (sp), 2013 ieee symposium on (1)
2015 ieee/acm 37th ieee international conference on software engineering (1)
2015 ieee/acm 37th ieee international conference on software engineering, software engineering (icse), 2015 ieee/acm 37th ieee international conference on (1)
2016 ieee 29th computer security foundations symposium (csf), computer security foundations symposium (csf), 2016 ieee 29th (1)
2018 ieee cybersecurity development (secdev), cybersecurity development (secdev), 2018 ieee, secdev (1)
2018 ieee european symposium on security and privacy (euros&p), security and privacy (euros&p), 2018 ieee european symposium on, eurosp (1)
2019 ieee european symposium on security and privacy workshops (euros&pw), security and privacy workshops (euros&pw), 2019 ieee european 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)
2020 ieee 33rd computer security foundations symposium (csf), computer security foundations symposium (csf), 2020 ieee 33rd (1)
2021 36th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2021 36th ieee/acm international conference on, ase (1)
2022 ieee international conference on software analysis, evolution and reengineering (saner), software analysis, evolution and reengineering (saner),2022 ieee international conference on, saner (1)
acm sigarch computer architecture news (1)
acm transactions on computer systems (tocs) (1)
bmj (british medical journal) (1)
bmj: british medical journal (1)
bmj-british medical journal (1)
certified programs & proofs (1)
computer aided verification. part ii (1)
electronic notes in theoretical computer science (1)
entcs: electronic notes in theoretical computer science (1)
formal aspects of computing: applicable formal methods (1)
formal methods in system design: an international journal (1)
ieee security & privacy, security & privacy, ieee, ieee secur. privacy (1)
records management quarterly (1)