theoretical computer science (13)
science of computer programming (12)
entcs: electronic notes in theoretical computer science (5)
aip conference proceedings (4)
computer systems science & engineering (4)
electronic notes in theoretical computer science (4)
formal methods: foundations and applications (4)
government information quarterly (3)
journal of logical and algebraic methods in programming (3)
computer languages, systems & structures (2)
formal aspects of computing (2)
formal methods: foundations & applications 17th brazilian symposium, sbmf 2014, maceio, al, brazil, september 29--october 1, 2014. proceedings (2)
journal of logic, language and information (2)
journal of universal computer science (2)
logical methods in computer science (2)
scientific annals of computer science (2)
theoretical aspects of computing - ictac 2016 (2)
theoretical aspects of computing---ictac 2016 (2)
2008 eighth ieee international working conference on source code analysis and manipulation, source code analysis and manipulation, 2008 eighth ieee international working conference on (1)
2008 the eighth international conference on quality software, quality software, 2008. qsic '08. the eighth international conference on (1)
2010 12th international symposium on symbolic and numeric algorithms for scientific computing, symbolic and numeric algorithms for scientific computing (synasc), 2010 12th international symposium on (1)
2012 35th annual ieee software engineering workshop (1)
2012 35th annual ieee software engineering workshop, software engineering workshop (sew), 2012 35th annual ieee (1)
2013 international symposium on theoretical aspects of software engineering (1)
2013 international symposium on theoretical aspects of software engineering, theoretical aspects of software engineering (tase), 2013 international symposium on (1)
2014 eighth brazilian symposium on software components, architectures & reuse (1)
2014 eighth brazilian symposium on software components, architectures and reuse, software components, architectures and reuse (sbcars), 2014 eighth brazilian symposium on (1)
2019 24th ieee international conference on emerging technologies and factory automation (etfa), emerging technologies and factory automation (etfa), 2019 24th ieee international conference on (1)
2021 international symposium on theoretical aspects of software engineering (tase), theoretical aspects of software engineering (tase), 2021 international symposium on, tase (1)
acm international conference proceeding series (1)
algebra & coalgebra in computer science (9783642402050) (1)
algebra and coalgebra in computer science (1)
algebraic methodology & software technology (9783540799795) (1)
computer science & information systems (1)
formal aspects of computing: applicable formal methods (1)
fundamentals of software engineering (1)
innovations in systems and software engineering: a nasa journal (1)
it's all about coordination (1)
journal of logic, language, and information (1)
logical methods in computer science (lmcs) (1)
proceedings of the 10th conference on category theory in computer science (ctcs 2004) (1)
proceedings of the 2010 acm symposium: applied computing (1)
proceedings of the third workshop: behavioural modelling (1)
proceedings---17th international workshop on logical and semantic frameworks with applications (1)
programming languages (9783642409219) (1)
science of computer programming. methods of software design: techniques and applications (1)
software engineering & formal methods sefm 2014 collocated workshops: hofm, safome, opencert, mokmasd, ws-fmds, grenoble, france, september 1-2, 2014, revised selected papers (1)
teaching formal methods (1)
theoretical information reuse & integration (1)
web services & formal methods (9783642382291) (1)