*sublabel_EDS*
*license_notice_EDS_guest_loggedout*
*Login*
*custom_text_above_search_result**custom_text_above_search_result_EDS*
*Showing* 1 - 20
*of* 299
*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
7
formal aspects of computing
6
formal methods in system design
6
lecture notes in computer science
6
*more* ...
theoretical computer science
5
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
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
99
formal specification
91
object-oriented programming
83
java
43
formal verification
35
02 engineering and technology
27
*more* ...
0202 electrical engineering, electronic engineering, information engineering
27
program diagnostics
22
specification languages
20
theorem proving
19
objektorientierte programmierung
18
01 natural sciences
17
software engineering
17
computer science
16
0102 computer and information sciences
15
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
programming language semantics
10
formale spezifikation
9
inference mechanisms
9
modularitat
9
programming languages
9
programmverifikation
9
*less* ...
*Publisher*
springer-verlag
28
acm
21
ieee
21
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)
7
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
springer-verlag, berlin
3
schloss dagstuhl. leibniz-zent. inform., wadern
2
springer, cham
2
wiley-blackwell
2
acm press
1
cambridge university press (cup)
1
*less* ...
*Language*
*Category*
*SourceEDS*
Inspec
129
OpenAIRE
61
TEMA
30
OAIster
17
MathSciNet via EBSCOhost
14
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*