*sublabel_EDS*
*license_notice_EDS_guest_loggedout*
*Login*
*custom_text_above_search_result**custom_text_above_search_result_EDS*
*Showing* 61 - 80
*of* 57*number_thousands_separator*024
*custom_text_below_search_result*
*Refine Results*
*Limiter*
*Expander*
*Format*
Academic Journals
26*number_thousands_separator*062
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*109
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*652
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*993
*more* ...
01 natural sciences
2*number_thousands_separator*694
formal specification
2*number_thousands_separator*684
software engineering
2*number_thousands_separator*433
0102 computer and information sciences
2*number_thousands_separator*154
software
2*number_thousands_separator*034
temporal logic
1*number_thousands_separator*757
verification
1*number_thousands_separator*584
computer science
1*number_thousands_separator*515
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*072
computer software
1*number_thousands_separator*046
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
852
program diagnostics
772
specification languages
772
computational modeling
757
*less* ...
*Publisher*
ieee
8*number_thousands_separator*773
springer nature
2*number_thousands_separator*904
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*347
springer
1*number_thousands_separator*234
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*362
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
293
computers / computer science
264
computers / programming / compilers
133
computers / artificial intelligence / general
100
computers / hardware / general
70
computers / programming / general
69
*more* ...
computers / networking / general
56
computers / computer architecture
55
computers / programming / algorithms
36
computers / computer simulation
29
*less* ...
*SourceEDS*
Inspec
11*number_thousands_separator*991
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
412
eBook Index
380
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*