Showing 1 - 8
of 8
for search: '',
query time: 0.06s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Genre: Conference papers and proceedings
Genre: Festschriften
Language: English
Subject: Formal methods (Computer science)
Institution
Collection
Format
Subject
Author
8
SpringerLink (Online service)
2
Zhou, Chaochen, 1937-
1
Bartocci, Ezio (Computer scientist)
1
Beek, Maurice H. ter,
1
Bjørner, D. 1937-
1
Bordihn, Henning
more ...
1
Falcone, Yliès
1
Fantechi, Alessandro,
1
Gnesi, Stefania, 1954-
1
Havelund, Klaus, 1955-
1
Hutter, Dieter
1
ISoLA (Symposium)
1
Jones, C. B. 1944-
1
Jones, Cliff,
1
Kutrib, Martin
1
Leucker, Martin,
1
Liu, Zhiming, 1961-
1
Meyer, Roland,
1
Olderog, E.-R.,
1
Platzer, André,
1
Semini, Laura,
1
Siekmann, Jörg H.
1
Stephan, Werner, 1895-
1
Truthe, Bianca
1
Wang, Ji (Professor of computer science),
1
Wehrheim, Heike,
1
Woodcock, Jim
1
Zhan, Naijun,
see all ...
less ...
Language
Literary Form
Era
Call Number
Year of Publication