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
Call Number: Q - Science
Genre: Software
Collection: Electronic Access
Subject: Computer software Verification
Subject: Software engineering
Institution
Collection
Format
Subject
Author
2
SpringerLink (Online service)
1
Ahrendt, Wolfgang,
1
Aoki, Toshiaki
1
Beckert, Bernhard,
1
Bubel, Richard,
1
Hähnle, Reiner,
more ...
1
International Conference on Formal Engineering Methods
1
International Conference on Formal Engineering Methods Kyoto, Japan)
1
Taguchi, Kenji, 1956-
1
Ulbrich, Mattias,
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication