*sublabel_EDS*
*license_notice_EDS_guest_loggedout*
*Login*
*custom_text_above_search_result**custom_text_above_search_result_EDS*
*Showing* 201 - 220
*of* 57*number_thousands_separator*034
*custom_text_below_search_result*
*Refine Results*
*Limiter*
*Expander*
*Format*
Academic Journals
26*number_thousands_separator*067
Conference Materials
13*number_thousands_separator*458
Books
6*number_thousands_separator*240
Electronic Resources
3*number_thousands_separator*858
Dissertations
1*number_thousands_separator*274
Reports
1*number_thousands_separator*138
*more* ...
Reviews
1*number_thousands_separator*131
eBooks
1*number_thousands_separator*110
Magazines
243
Trade Publications
93
Patents
2
Literature Reviews
1
*less* ...
*Published in*
lecture notes in computer science
1*number_thousands_separator*669
international journal on software tools for technology transfer
1*number_thousands_separator*652
ieee transactions on software engineering
820
science of computer programming
653
software & systems modeling
434
formal aspects of computing
418
*more* ...
journal of systems and software
231
theoretical computer science
223
formal methods in system design
222
fundamenta informaticae
204
acm sigplan notices
201
software and systems modeling
200
information and software technology
181
automated software engineering
179
acm transactions on software engineering and methodology
175
ieee access
167
innovations in systems and software engineering
143
international journal of software engineering & knowledge engineering
141
international journal of software engineering and knowledge engineering
134
acm transactions on programming languages and systems
113
communications of the acm
97
software quality journal
92
plos one
87
journal of automated reasoning
81
programming and computer software
78
acta informatica
77
ieee transactions on computers
72
journal of logical and algebraic methods in programming
71
information processing letters
68
information and computation
63
*less* ...
*SubjectEDS*
model checking
6*number_thousands_separator*964
formal verification
6*number_thousands_separator*654
02 engineering and technology
6*number_thousands_separator*470
0202 electrical engineering, electronic engineering, information engineering
5*number_thousands_separator*976
computing and processing
3*number_thousands_separator*653
program verification
2*number_thousands_separator*997
*more* ...
01 natural sciences
2*number_thousands_separator*694
formal specification
2*number_thousands_separator*685
software engineering
2*number_thousands_separator*419
0102 computer and information sciences
2*number_thousands_separator*154
software
2*number_thousands_separator*035
temporal logic
1*number_thousands_separator*758
verification
1*number_thousands_separator*584
computer science
1*number_thousands_separator*500
specification and verification (program logics, model checking, etc.)
1*number_thousands_separator*451
communication, networking and broadcast technologies
1*number_thousands_separator*450
unified modeling language
1*number_thousands_separator*109
computer science - software engineering
1*number_thousands_separator*082
program testing
1*number_thousands_separator*073
computer software
1*number_thousands_separator*047
components, circuits, devices and systems
968
fos: computer and information sciences
933
software verification
912
software architecture
889
formal methods
886
petri nets
868
algorithms
851
program diagnostics
773
specification languages
772
computational modeling
757
*less* ...
*Publisher*
ieee
8*number_thousands_separator*775
springer nature
2*number_thousands_separator*906
springer-verlag
1*number_thousands_separator*746
springer international publishing
1*number_thousands_separator*515
acm
1*number_thousands_separator*511
springer verlag
1*number_thousands_separator*438
*more* ...
wti-frankfurt-digital gmbh
1*number_thousands_separator*424
elsevier b.v.
1*number_thousands_separator*348
springer
1*number_thousands_separator*235
ieee computer society
1*number_thousands_separator*146
springer berlin heidelberg
1*number_thousands_separator*097
association for computing machinery
748
arxiv
504
wiley
421
acm - association for computing machinery
402
wiley-blackwell
359
elsevier
337
springer nature switzerland
337
springer, cham
314
springer heidelberg
263
assoc computing machinery
260
mdpi
236
ios press
221
elsevier science bv
209
world scientific publishing company
203
iop publishing
176
mdpi ag
151
open publishing association
146
malardalens hogskola, inbyggda system
134
taylor & francis ltd
134
*less* ...
*RangeLexile*
*Language*
english
40*number_thousands_separator*372
undetermined
5*number_thousands_separator*704
chinese
613
german
384
russian
196
persian
117
*more* ...
french
116
ukrainian
73
japanese
63
spanish; castilian
52
turkish
49
korean
44
croatian
28
portuguese
28
italian
17
lithuanian
17
polish
17
eng
14
spanish
11
czech
10
greek
10
ndonga
10
arabic
9
hungarian
8
indonesian
8
pol
7
bulgarian
5
chamorro
4
swedish
4
norwegian
3
*less* ...
*Category*
computers / software development & engineering / general
294
computers / computer science
265
computers / programming / compilers
134
computers / artificial intelligence / general
100
computers / hardware / general
70
computers / programming / general
70
*more* ...
computers / networking / general
56
computers / computer architecture
55
computers / programming / algorithms
36
computers / computer simulation
29
*less* ...
*SourceEDS*
Inspec
11*number_thousands_separator*999
OpenAIRE
11*number_thousands_separator*589
TEMA
5*number_thousands_separator*848
Scopus®
4*number_thousands_separator*890
IEEE Xplore Digital Library
3*number_thousands_separator*985
OAIster
3*number_thousands_separator*808
*more* ...
Complementary Index
3*number_thousands_separator*447
Academic Search Index
1*number_thousands_separator*947
Science Citation Index Expanded
1*number_thousands_separator*750
wiso
1*number_thousands_separator*481
MathSciNet via EBSCOhost
1*number_thousands_separator*151
Supplemental Index
826
arXiv
812
Business Source Premier
760
Directory of Open Access Journals
565
dblp computer science bibliography
553
MEDLINE
413
eBook Index
381
CEABA
200
RePEc
116
British Library EThOS
116
APA PsycInfo
79
GeoRef
43
BazTech
43
Europeana
41
Biomedical Index
37
JSTOR Journals
24
Emerald Insight
21
EconLit
21
SAE Mobilus
20
*less* ...
*adv_search_year*
*Filter*