archive for mathematical logic (4)
formal aspects of computing (4)
journal of symbolic logic (4)
数理解析研究所講究録 (4)
logical methods in computer science (3)
the journal of symbolic logic (3)
acm sigsoft software engineering notes (2)
acm transactions on computational logic (2)
annals of pure and applied logic (2)
information and computation (2)
runtime verification (2)
2012 19th asia-pacific software engineering conference (1)
2012 19th asia-pacific software engineering conference, software engineering conference (apsec), 2012 19th asia-pacific (1)
2015 30th ieee/acm international conference on automated software engineering (ase) (1)
2015 30th ieee/acm international conference on automated software engineering (ase), automated software engineering (ase), 2015 30th ieee/acm international conference on (1)
2017 8th international workshop on empirical software engineering in practice (iwesep), empirical software engineering in practice (iwesep), 2017 8th international workshop on, iwesep (1)
2017 ieee international conference on data mining workshops (icdmw), data mining workshops (icdmw), 2017 ieee international conference on, icdmw (1)
2021 28th asia-pacific software engineering conference (apsec), software engineering conference (apsec), 2021 28th asia-pacific, apsec (1)
2021 ieee international symposium on software reliability engineering workshops (issrew), software reliability engineering workshops (issrew), 2021 ieee international symposium on, issrew (1)
2022 ieee international conference on big data (big data), big data (big data), 2022 ieee international conference on (1)
a tribute to albert visser (1)
academy of sciences of moldova. institute of mathematics and computer science. computer science journal of moldova (1)
annals of pure & applied logic (1)
bulletin of the european association for theoretical computer science. eatcs (1)
computer aided verification. part i (1)
dependable software engineering: theories, tools & applications (1)
formal aspects of computing: applicable formal methods (1)
formal methods (1)
formal methods & software engineering: 17th international conference on formal engineering methods, icfem 2015, paris, france, november 3-5, 2015, proceedings (1)
formal methods and software engineering (1)
formal techniques for safety-critical systems (1)
forum of mathematics. sigma (1)
foundations of software science and computation structures (1)
information & computation (1)
information processing letters (1)
journal of mathematical logic (1)
mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science (1)
mlq. mathematical logic quarterly (1)
runtime verification (9783319469812) (1)
siam journal on computing (1)
surikaisekikenkyusho kokyuroku (1)
theoretical aspects of computer software (sendai, 2001) (1)