Showing 1 - 20
of 57
for search: '',
query time: 0.08s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Subject: Computer programs Verification
Institution
Collection
Format
Subject
Computer programs Verification
31
Computer software Verification
20
Formal methods (Computer science)
19
Software engineering
12
Computer programs Reliability
11
Computer software Reliability
more ...
9
Software architecture
5
Artificial intelligence
4
Computer input-output equipment
4
Computer logic
4
Computer science
3
Integrated circuits Verification
2
Computer programs Testing
2
Computer programs Validation
2
Computer software Development
2
Computer software Validation
2
Computer systems
2
Debugging in computer science
2
Logic, Symbolic and mathematical
2
Object-oriented methods (Computer science)
2
Programming languages (Electronic computers)
1
Algebra, Boolean
1
Application software Development
1
Compilers (Computer programs)
1
Computer hardware description languages
1
Computer industry
1
Computer network architectures
1
Computer networks
1
Computer programming
1
Computer simulation
see all ...
less ...
Author
57
SpringerLink (Online service)
15
International Workshop on Formal Methods for Industrial Critical Systems
10
International Haifa Verification Conference
10
International Haifa Verification Conference Haifa, Israel)
3
VSTTE (Conference)
2
Bin, Eyal
more ...
2
CAV (Conference)
2
CAV (Conference) New York, N.Y.)
2
Cook, Byron
2
Drechsler, Rolf
2
International Workshop on Automated Verification of Critical Systems
2
NSV (Workshop)
2
Peled, Doron A., 1962-
2
Schmitt, P. H. 1948-
2
Ur, Shmuel
2
VSTTE (Conference) Online)
1
Agha, Gul A.
1
Ahrendt, Wolfgang,
1
Almeida, José Bacelar
1
Alpuente, María
1
Arbel, Eli,
1
Barnat, Jiří,
1
Barringer, Howard, 1951-
1
Barthe, Gilles, 1967-
1
Bartocci, Ezio (Computer scientist),
1
Bauer, Jörg
1
Beckert, Bernhard
1
Beckert, Bernhard,
1
Beek, Maurice H. ter,
1
Bensalem, Saddek
see all ...
less ...
Language
Literary Form
Era
Call Number
Year of Publication