*sublabel_EDS*
*license_notice_EDS_guest_loggedout*
*Login*
*custom_text_above_search_result**custom_text_above_search_result_EDS*
*Showing* 1 - 20
*of* 56*number_thousands_separator*852
*custom_text_below_search_result*
*Refine Results*
*Format*
Academic Journals
26*number_thousands_separator*058
Conference Materials
13*number_thousands_separator*455
Books
6*number_thousands_separator*077
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*108
Magazines
243
Trade Publications
92
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
811
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
automated software engineering
179
information and software technology
177
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
112
communications of the acm
95
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
bmc bioinformatics
62
*less* ...
*SubjectEDS*
model checking
6*number_thousands_separator*963
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*435
0102 computer and information sciences
2*number_thousands_separator*154
software
2*number_thousands_separator*028
temporal logic
1*number_thousands_separator*756
verification
1*number_thousands_separator*584
computer science
1*number_thousands_separator*517
specification and verification (program logics, model checking, etc.)
1*number_thousands_separator*451
communication, networking and broadcast technologies
1*number_thousands_separator*449
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
966
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*770
springer nature
2*number_thousands_separator*904
springer-verlag
1*number_thousands_separator*746
springer international publishing
1*number_thousands_separator*514
acm
1*number_thousands_separator*511
springer verlag
1*number_thousands_separator*438
*more* ...
elsevier b.v.
1*number_thousands_separator*347
wti-frankfurt-digital gmbh
1*number_thousands_separator*263
springer
1*number_thousands_separator*235
ieee computer society
1*number_thousands_separator*146
springer berlin heidelberg
1*number_thousands_separator*096
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
235
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*207
undetermined
5*number_thousands_separator*704
chinese
613
german
375
russian
196
persian
117
*more* ...
french
115
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
292
computers / computer science
263
computers / programming / compilers
133
computers / artificial intelligence / general
100
computers / hardware / general
70
computers / programming / general
69
*more* ...
computers / networking / general
55
computers / computer architecture
54
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*982
OAIster
3*number_thousands_separator*808
*more* ...
Complementary Index
3*number_thousands_separator*445
Academic Search Index
1*number_thousands_separator*946
Science Citation Index Expanded
1*number_thousands_separator*750
wiso
1*number_thousands_separator*317
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
411
eBook Index
379
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*