Showing 1 - 20
of 26
for search: '',
query time: 0.10s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Author: ETAPS (Conference)
Author: TACAS (Conference)
Call Number: Q - Science
Genre: Conference papers and proceedings
Literary Form: Non fiction
Collection: Electronic Access
Institution
Collection
Format
Subject
26
System design
24
System analysis
19
Computer software Verification
4
Computer software Development
2
Computer systems
1
Artificial intelligence
more ...
1
Computer programs Validation
1
Computer science
1
Computer software Validation
1
Formal languages
1
Logic, Symbolic and mathematical
1
Software engineering
see all ...
less ...
Author
ETAPS (Conference)
26
SpringerLink (Online service)
TACAS (Conference)
3
Beyer, Dirk, 1972-
3
Huisman, Marieke,
3
TACAS (Conference) Prague, Czech Republic)
more ...
2
Biere, Armin,
2
Fisman, Dana
2
Groote, J. F. 1965-
2
Larsen, K. G. 1957-
2
Legay, Axel,
2
Margaria-Steffen, Tiziana, 1964-
2
Parker, David,
2
Roşu, Grigore
2
Sankaranarayanan, Sriram
2
Sharygina, Natasha
2
TACAS (Conference) Dublin, Ireland)
2
TACAS (Conference) Munich, Germany)
2
TACAS (Conference) Online)
2
TACAS (Conference) Paris, France)
2
TACAS (Conference) Thessalonikē, Greece)
2
TACAS (Conference) Uppsala, Sweden)
2
Vojnar, Tomáš,
2
Zhang, Lijun, 1979-
1
Abdulla, Parosh Aziz
1
Baier, Christel,
1
Chechik, Marsha,
1
Flanagan, Cormac
1
Grumberg, Orna
1
Halbwachs, Nicolas
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication