*sublabel_EDS*
*license_notice_EDS_guest_loggedout*
*Login*
*custom_text_above_search_result**custom_text_above_search_result_EDS*
*Showing* 1 - 20
*of* 131
*custom_text_below_search_result*
*Refine Results*
*Limiter*
*Expander*
*Format*
*SubjectEDS*
computer software
10
java programming language
10
computer programming
9
programming languages
9
algorithms
8
computer software development
8
*more* ...
software engineering
7
static analysis
7
computer science
6
software verification
6
term rewriting
6
logic programming
5
program analysis
5
program transformation
5
program verification
5
security
5
complexity analysis
4
computational complexity
4
computer software testing
4
computer systems
4
formal verification
4
symbolic execution
4
termination
4
algebra
3
blockchain
3
computer security
3
formal methods
3
functional programming (computer science)
3
information technology
3
logics and meanings of programs
3
*less* ...
*Published in*
acm transactions on programming languages & systems
8
theory & practice of logic programming
7
journal of automated reasoning
6
international journal on software tools for technology transfer
5
acm computing surveys
3
automated software engineering
3
*more* ...
journal of software: evolution & process
3
software testing: verification & reliability
3
acm transactions on information & system security (tissec)
2
acm transactions on privacy & security
2
formal methods in system design
2
icse: international conference on software engineering
2
journal of computer security
2
logic for programming, artificial intelligence & reasoning: 20th international conference, lpar-20 2015, suva, fiji, november 24-28, 2015, proceedings
2
software & systems modeling
2
tools & algorithms for the construction & analysis of systems: 20th international conference, tacas 2014, held as part of the european joint conferences on theory & practice of software, etaps 2014, grenoble, france, april 5-13, 2014. proceedings
2
2005 ieee international conference on services computing (scc'05) vol-1
1
2012 ieee 12th international working conference on source code analysis & manipulation
1
2012 ieee 25th computer security foundations symposium
1
2013 35th international conference on software engineering (icse)
1
2013 federated conference on computer science & information systems
1
2014 9th computing colombian conference (9ccc)
1
2014 formal methods in computer-aided design (fmcad)
1
2015 ieee 28th computer security foundations symposium
1
2015 ieee 8th international conference on software testing, verification & validation (icst)
1
2016 ieee/acm symposium on edge computing (sec)
1
acm transactions on computer systems
1
acm transactions on embedded computing systems
1
advanced operating systems and kernel applications: techniques and technologies
1
applications of graph transformations with industrial relevance
1
*less* ...
*Publisher*
springer nature
57
association for computing machinery
19
ieee
12
wiley-blackwell
9
cambridge university press
8
igi global
2
*more* ...
mdpi
2
sage publications inc.
2
schloss dagstuhl - leibniz-zentrum fur informatik
2
association for computing machinery, inc.
1
berkshire publishing group llc
1
ios press
1
lipics - leibniz international proceedings in informatics. proceedings of the 21st international conference on rewriting techniques and applications
1
logical methods in computer science
1
mdpi ag
1
niedesachsische staats- und universitatsbibliothek
1
polskie towarzystwo matematyczne
1
princeton university press
1
purdue university press
1
schloss dagstuhl - leibniz-zentrum fuer informatik
1
schloss dagstuhl. leibniz-zent. inform., wadern
1
schloss dagstuhl. leibniz-zentrum fur informatik, wadern
1
sociedade brasileira de computacao (sbc)
1
technische informationsbibliothek u. universitatsbibliothek
1
university of iowa press
1
world scientific publishing company
1
*less* ...
*Language*
*CollectionLibrary*
*SourceEDS*
*adv_search_year*
*Filter*