Showing 1 - 20
of 29
for search: '',
query time: 0.13s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Author: ETAPS (Conference)
Genre: Conference papers and proceedings
Literary Form: Non fiction
Subject: System analysis
Institution
Collection
Format
Subject
System analysis
24
System design
19
Computer software Verification
3
Computer software Development
2
Computer software
2
Computer systems
more ...
2
Logic, Symbolic and mathematical
1
Artificial intelligence
1
Computer programs Validation
1
Computer science
1
Computer software Validation
1
Formal languages
1
Software engineering
see all ...
less ...
Author
ETAPS (Conference)
29
SpringerLink (Online service)
24
TACAS (Conference)
5
FOSSACS (Conference)
3
Beyer, Dirk, 1972-
3
Huisman, Marieke,
more ...
3
TACAS (Conference) Prague, Czech Republic)
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
Aceto, Luca
1
Amadio, Roberto M.
1
Anna Ingólfsdóttir, 1952-
1
Baier, Christel,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication