The results list cannot be displayed in full to guest users. Please log in for full access:
Login
Showing 1 - 20
of 197
Not found what you were looking for? Please contact "Kontakt such_da".
Refine Results
Limit Results
Expand Results
Format
Subject
java
29
theorem proving
20
02 engineering and technology
15
0202 electrical engineering, electronic engineering, information engineering
15
bytecode verification
15
computer science
12
more ...
data flow analysis
11
01 natural sciences
10
0102 computer and information sciences
10
java bytecode
8
verification
8
compiler
7
software verification
7
formal semantics
6
intermediate representations
6
isabelle
6
jvm
6
program verification
6
semantique formelle
6
applied sciences
5
combined attack
5
computer science; control theory; systems
5
exact sciences and technology
5
fault injection
5
informatique
5
informatique theorique
5
informatique; automatique theorique; systemes
5
instrumentation
5
java (programmiersprache)
5
java programming language
5
less ...
Published in
journal of automated reasoning
6
electronic notes in theoretical computer science
5
lecture notes in computer science
4
entcs: electronic notes in theoretical computer science
3
science of computer programming
3
theoretical computer science
3
more ...
concurrency & computation: practice & experience
2
concurrency and computation: practice and experience
2
jisuanji gongcheng
2
journal of logic and algebraic programming
2
$2
1
acm transactions on programming languages and systems
1
asicon 2001. 2001 4th international conference on asic proceedings (cat. no.01th8549)
1
asicon 2001. 2001 4th international conference on asic proceedings (cat. no.01th8549), asic, 2001. proceedings. 4th international conference on, asicon 2001
1
ausgezeichnete informatikdissertationen
1
computer aided verification : 28th international conference, cav 2016, toronto, on, canada, july 17-23, 2016, proceedings, part i
1
concurrency and computation-practice & experience
1
formal aspects of computing
1
formal aspects of computing: applicable formal methods
1
formal aspects of security and trust : 8th international workshop, fast 2011, leuven, belgium, september 12-14, 2011. revised selected papers
1
formal methods in system design
1
formal methods in system design: an international journal
1
foundations of software science and computation structures
1
iciss, international conference on information systems security, 7
1
ieee international symposium on communications and information technology, 2005. iscit 2005.
1
ieee international symposium on communications and information technology, 2005. iscit 2005., communications and information technology, 2005. iscit 2005. ieee international symposium on, communications and information technologies
1
informatik aktuell
1
information systems security : 7th international conference, iciss 2011, kolkata, india, december 15-19, 2011, procedings
1
information technology : methods and applications of informatics and information technology
1
integrated formal methods : 13th international conference, ifm 2017, turin, italy, september 20-22, 2017, proceedings
1
less ...
Publisher
springer berlin heidelberg
13
escholarship, university of california
11
springer
9
elsevier b.v.
8
hal ccsd
8
technical university of munich
8
more ...
vysoke uceni technicke v brne. fakulta informacnich technologii
8
springer international publishing
6
technische universitat munchen
6
uppsala universitet, datorteknik
6
nasa ames cmu, moffett field, ca usa
5
springer nature
5
sri int, 333 ravenswood ave, menlo pk, ca 94025 usa
5
ccsd
4
elsevier bv
4
ieee
4
kth, skolan for datavetenskap och kommunikation (csc)
4
wti-frankfurt-digital gmbh
4
springer-verlag
3
wiley
3
wiley-blackwell
3
editorial office of computer engineering
2
elsevier
2
kluwer academic publishers
2
walter de gruyter gmbh
2
acm
1
cornell university
1
country:deu
1
elsevier inc.
1
elsevier science inc
1
less ...
Geography
AuthorUniversity
Content Provider
BASE
70
OAIster
34
OpenAIRE
29
Springer Nature eBooks
12
ScienceDirect
6
TEMA
6
more ...
Supplemental Index
5
Springer Nature Journals
5
wiso
5
PASCAL Archive
5
Complementary Index
5
OpenDissertations
3
Science Citation Index Expanded
3
ACM Full-Text Collection
3
IEEE Xplore Digital Library
2
dblp computer science bibliography
2
Directory of Open Access Journals
1
GBV Online Contents
1
less ...
Year of Publication
Filter