Showing 1 - 2
of 2
for search: '',
query time: 0.03s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Author: ETAPS (Conference)
Call Number: Q - Science
Literary Form: Non fiction
Subject: Computer software Verification
Subject: Software engineering
Institution
Collection
Format
Subject
Author
ETAPS (Conference)
2
SpringerLink (Online service)
1
Bošnački, Dragan, 1963-
1
International SPIN Workshop
1
International SPIN Workshop Eindhoven, Netherlands)
1
Legay, Axel,
more ...
1
Margaria-Steffen, Tiziana, 1964-
1
TACAS (Conference)
1
TACAS (Conference) Uppsala, Sweden)
1
Wijs, Anton,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication