Showing 1 - 19
of 19
for search: '"System design"',
query time: 0.27s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Author: TACAS (Conference)
Subject: Computer software Verification
Subject: System design
Institution
Collection
Format
Subject
Author
19
ETAPS (Conference)
19
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
Baier, Christel,
1
Chechik, Marsha,
1
Havelund, Klaus, 1955-
1
Kordon, Fabrice,
1
Piterman, Nir
1
Raskin, Jean-François, 1972-
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication