*sublabel_EDS*
*license_notice_EDS_guest_loggedout*
*Login*
*custom_text_above_search_result**custom_text_above_search_result_EDS*
*Showing* 1 - 20
*of* 119
*custom_text_below_search_result*
*Refine Results*
*Limiter*
*Expander*
*Format*
*Published in*
formal aspects of computing
7
lecture notes in computer science
3
international journal of intelligent systems
2
journal of systems & software
2
2014 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2014
1
2021 ieee/acm 9th international conference on formal methods in software engineering (formalise)
1
*more* ...
2021 ieee/acm 9th international conference on formal methods in software engineering (formalise), formal methods in software engineering (formalise), 2021 ieee/acm 9th international conference on, formalise
1
autom. control comput. sci. (germany)
1
automatic control and computer sciences
1
deductive and object-oriented databases (munich, 1991)
1
distrib. parallel databases (netherlands)
1
distributed and parallel databases
1
fm 1999 - formal methods - world congress on formal methods in the development of computing systems, proceedings
1
form. asp. comput. (uk)
1
formal methods for open object-based distributed systems (9783540729198)
1
formal verification of object-oriented software
1
formal verification of object-oriented software - international conference, foveoos 2011, revised selected papers
1
formal verification of object-oriented software (9783642317613)
1
fourth ieee international conference on software engineering & formal methods (sefm'06)
1
fourth ieee international conference on software engineering and formal methods (sefm'06)
1
fourth ieee international conference on software engineering and formal methods (sefm'06), software engineering and formal methods, 2006. sefm 2006. fourth ieee international conference on
1
fundamenta informaticae
1
ieee trans. autom. sci. eng. (usa)
1
ieee transactions on automation science and engineering
1
int. j. softw. tools technol. transf. (germany)
1
international journal on software tools for technology transfer
1
j. autom. reason. (germany)
1
j. discret. math. sci. cryptography (india)
1
j. syst. softw. (netherlands)
1
j. syst. softw. (usa)
1
*less* ...
*SubjectEDS*
program verification
43
java
36
formal verification
27
formal specification
24
object-oriented programming
19
theorem proving
17
*more* ...
program diagnostics
15
software tools
9
formal logic
8
program compilers
8
software engineering
8
deductive verification
7
program testing
7
specification languages
7
02 engineering and technology
6
0202 electrical engineering, electronic engineering, information engineering
6
java (programmiersprache)
6
programming languages
6
computing and processing
5
control engineering computing
5
deductive databases
5
inference mechanisms
5
object-oriented languages
5
active databases
4
computer science
4
data processing & computer science
4
ddc:004
4
design by contract
4
object-oriented databases
4
objektorientierte programmierung
4
*less* ...
*Publisher*
ieee
17
springer international publishing
15
springer nature
11
springer-verlag
7
kit scientific publishing
5
springer
5
*more* ...
springer berlin heidelberg
5
springer verlag
5
acm
4
elsevier b.v.
3
association for computing machinery (acm)
2
ieee comput. soc.
2
ieee computer society
2
springer, berlin
2
universitat politecnica de catalunya. departament de llenguatges i sistemes informatics
2
association for computing machinery
1
fmcad and the authors
1
iee
1
ieee comput. soc. press
1
insticc press
1
institute for system programming of the russian academy of sciences
1
john wiley & sons
1
karlsruhe
1
kluwer academic publishers
1
pleiades publishing ltd
1
polish mathematical society (polskie towarzystwo matematyczne - ptm), warsaw; episciences, villeurbanne
1
sierke
1
springer london
1
springer, cham
1
springer-verlag, berlin
1
*less* ...
*Language*
*Category*
computers / programming / compilers
2
computers / programming / general
2
computers / software development & engineering / general
2
computers / computer science
1
computers / networking / general
1
computers / operating systems / general
1
*more* ...
computers / programming / algorithms
1
*less* ...
*SourceEDS*
Inspec
61
OpenAIRE
20
TEMA
9
MathSciNet via EBSCOhost
5
IEEE Xplore Digital Library
5
Complementary Index
4
*more* ...
Scopus®
4
OAIster
3
eBook Index
2
Business Source Premier
1
Science Citation Index Expanded
1
Academic Search Index
1
Supplemental Index
1
wiso
1
dblp computer science bibliography
1
*less* ...
*adv_search_year*
*Filter*