Showing 1 - 20
of 69
for search: '"Computer science Congresses."',
query time: 0.35s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Subject: Computer software Verification
Institution
Collection
Format
Subject
Computer software Verification
66
Formal methods (Computer science)
34
Software engineering
17
Computer software Testing
11
Computer programs Reliability
11
Computer programs Verification
more ...
11
Computer software Reliability
11
Machine learning
10
Robots Programming
6
Computer hardware description languages
6
Computer science
6
Software architecture
5
Logic, Symbolic and mathematical
3
Artificial intelligence
3
Computer logic
3
Data encryption (Computer science)
3
Electronic voting
2
Computer science Mathematics
2
Computer software Validation
2
Fault-tolerant computing
2
Programming languages (Electronic computers)
2
System analysis
1
Algorithms
1
Aspect-oriented programming
1
Blockchains (Databases)
1
Civil rights
1
Computation by Abstract Devices
1
Computer architecture
1
Computer programming
1
Computer programs
see all ...
less ...
Author
69
SpringerLink (Online service)
21
ISoLA (Symposium)
19
Margaria-Steffen, Tiziana, 1964-
15
Steffen, Bernhard,
13
RV (Conference)
11
International Workshop on Formal Methods for Industrial Critical Systems
more ...
5
FDL (Conference)
5
ISoLA (Symposium) Kerkyra, Greece)
5
ISoLA (Symposium) Rhodes, Greece)
4
ISoLA (Symposium) Online)
4
Steffen, Bernhard
3
ISoLA (Symposium) Limassol, Cyprus)
3
International Conference on Formal Engineering Methods
3
Vote-ID (Conference)
2
Beckert, Bernhard
2
FDL (Conference) Paris, France)
2
FoVeOOS (Conference)
2
ISoLA (Symposium) Ērakleion, Greece)
2
International Workshop on Automated Verification of Critical Systems
2
Kaźmierski, Thomas J.
2
Nenzi, Laura
2
RV (Conference) Online)
2
Tasiran, Serdar
1
Aoki, Toshiaki
1
Barnat, Jiří,
1
Bartocci, Ezio (Computer scientist),
1
Beek, Maurice H. ter
1
Beek, Maurice H. ter,
1
Bensalem, Saddek,
1
Bobaru, Mihaela
see all ...
less ...
Language
Literary Form
Year of Publication