*sublabel_EDS*
*license_notice_EDS_guest_loggedout*
*Login*
*custom_text_above_search_result**custom_text_above_search_result_EDS*
*Showing* 1 - 20
*of* 49
*custom_text_below_search_result*
*Refine Results*
*Limiter*
*Expander*
*Format*
*SubjectEDS*
term rewriting
5
computer software development
4
programming languages
4
security
4
software verification
4
computer science
3
*more* ...
formal verification
3
program transformation
3
computational complexity
2
computer security
2
computer software
2
computer software testing
2
computer systems
2
information technology
2
integer programs
2
java bytecode
2
languages
2
logic programming
2
program analysis
2
program verification
2
runtime complexity
2
software architecture
2
software engineering
2
software product line engineering
2
symbolic execution
2
systems software
2
54.00
1
abstract interpretation
1
abstraction refinement
1
algebra
1
*less* ...
*Published in*
acm transactions on programming languages & systems
3
theory & practice of logic programming
3
formal methods in system design
2
higher-order & symbolic computation
2
international journal on software tools for technology transfer
2
journal of automated reasoning
2
*more* ...
journal of computer security
2
2012 ieee 12th international working conference on source code analysis & manipulation
1
2015 ieee 28th computer security foundations symposium
1
22nd international conference on rewriting techniques and applications
1
acm transactions on software engineering & methodology
1
automated reasoning: 7th international joint conference, ijcar 2014, held as part of the vienna summer of logic, vsl 2014, vienna, austria, july 19-22, 2014. proceedings
1
computer aided verification: 28th international conference, cav 2016, toronto, on, canada, july 17-23, 2016, proceedings, part i
1
concurrency & computation: practice & experience
1
fm 2016: formal methods
1
formal methods & software engineering: 16th international conference on formal engineering methods, icfem 2014, luxembourg, luxembourg, november 3-5, 2014. proceedings
1
foundations & trends in programming languages
1
ieee intelligent systems
1
implementation & application of functional languages (9783540741299)
1
informatik spektrum
1
international journal of information security
1
journal of software: evolution & process
1
journal on satisfiability, boolean modeling & computation
1
ki: kunstliche intelligenz
1
logic for programming, artificial intelligence & reasoning: 20th international conference, lpar-20 2015, suva, fiji, november 24-28, 2015, proceedings
1
software & systems modeling
1
software-intensive systems & new computing paradigms
1
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
1
*less* ...
*Publisher*
springer nature
21
association for computing machinery
4
cambridge university press
3
ieee
3
sage publications inc.
2
schloss dagstuhl - leibniz-zentrum fur informatik
2
*more* ...
wiley-blackwell
2
berkshire publishing group llc
1
ios press
1
lipics - leibniz international proceedings in informatics. 22nd international conference on rewriting techniques and applications (rta'11)
1
now publishers
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
technische informationsbibliothek u. universitatsbibliothek
1
*less* ...
*Language*
*CollectionLibrary*
*adv_search_year*
*Filter*