*sublabel_EDS*
*license_notice_EDS_guest_loggedout*
*Login*
*custom_text_above_search_result**custom_text_above_search_result_EDS*
*Showing* 1 - 20
*of* 290
*custom_text_below_search_result*
*Refine Results*
*Limiter*
*Expander*
*Format*
*Published in*
acm transactions on programming languages and systems
10
ieee software
9
acm transactions on programming languages & systems
6
formal aspects of computing
6
formal methods in system design
6
lecture notes in computer science
6
*more* ...
acm sigplan notices
4
sigplan not. (usa)
4
sigplan notices
4
arxiv
3
arxiv (usa)
3
proc. acm program. lang. (usa)
3
proceedings of the acm on programming languages
3
theoretical computer science
3
29th european conference on object-oriented programming
2
acm computing surveys
2
concurrency & computation: practice & experience
2
electron. notes theor. comput. sci. (netherlands)
2
electronic notes in theoretical computer science
2
form. asp. comput. (uk)
2
form. methods syst. des. (netherlands)
2
logical methods in computer science (lmcs)
2
sci. comput. program. (netherlands)
2
science of computer programming
2
2011 fifth international conference on theoretical aspects of software engineering
1
2011 fifth international conference on theoretical aspects of software engineering, theoretical aspects of software engineering (tase), 2011 fifth international symposium on
1
2012 ieee fifth international conference on software testing, verification & validation
1
2012 ieee fifth international conference on software testing, verification and validation, software testing, verification and validation (icst), 2012 ieee fifth international conference on
1
applied computational intelligence and soft computing
1
concurrency and computation: practice and experience
1
*less* ...
*SubjectEDS*
program verification
98
formal specification
91
object-oriented programming
83
java
43
formal verification
35
02 engineering and technology
25
*more* ...
0202 electrical engineering, electronic engineering, information engineering
25
program diagnostics
22
specification languages
20
theorem proving
19
objektorientierte programmierung
18
software engineering
17
01 natural sciences
16
computer science
16
0102 computer and information sciences
14
data structures
14
reasoning about programs
14
verification
14
object-oriented languages
13
program compilers
13
temporal logic
12
validierung
12
separation logic
11
formal logic
10
formale spezifikation
9
inference mechanisms
9
modularitat
9
programming language semantics
9
programming languages
9
programmverifikation
8
*less* ...
*Publisher*
springer-verlag
28
ieee
21
acm
19
springer nature
16
springer international publishing
14
springer
12
*more* ...
springer berlin heidelberg
12
wti-frankfurt-digital gmbh
11
springer verlag
8
association for computing machinery (acm)
6
elsevier
6
ieee computer society
6
assoc computing machinery
5
ieee comput. soc.
5
arxiv
4
association for computing machinery
4
elsevier b.v.
4
schloss dagstuhl - leibniz-zentrum fur informatik
4
acm - association for computing machinery
3
california institute of technology
3
eth zurich
3
kit scientific publishing
3
springer science and business media llc
3
springer, berlin
3
schloss dagstuhl. leibniz-zent. inform., wadern
2
springer, cham
2
springer-verlag, berlin
2
wiley-blackwell
2
acm press
1
cambridge university press (cup)
1
*less* ...
*Language*
*Category*
*SourceEDS*
Inspec
128
OpenAIRE
57
TEMA
28
OAIster
17
MathSciNet via EBSCOhost
12
Complementary Index
11
*more* ...
wiso
11
Science Citation Index Expanded
6
IEEE Xplore Digital Library
4
Academic Search Index
4
Supplemental Index
3
Scopus®
3
Business Source Premier
2
eBook Index
1
arXiv
1
Europeana
1
dblp computer science bibliography
1
*less* ...
*adv_search_year*
*Filter*