Showing 1 - 10
of 10
for search: '"Lecture notes in computer science ;"',
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: SpringerLink (Online service)
Author: VMCAI (Conference)
Language: English
Subject: Computer software Verification
Institution
Collection
Format
Subject
Author
SpringerLink (Online service)
VMCAI (Conference)
1
Berdine, Josh
1
Beyer, Dirk, 1972-
1
Bouajjani, Ahmed,
1
D'Souza, Deepak,
more ...
1
Dillig, Isil,
1
Enea, Constantin,
1
Finkbeiner, Bernd
1
Giacobazzi, Roberto
1
Henglein, Fritz,
1
Jobstmann, Barbara,
1
Lal, Akash,
1
Larsen, K. G. 1957-
1
Leino, K. Rustan M.,
1
Mastroeni, Isabella
1
McMillan, Kenneth L.,
1
Monniaux, David,
1
Palsberg, Jens,
1
Piskac, Ruzica,
1
Rival, Xavier,
1
Shoham, Sharon,
1
VMCAI (Conference) Cascais, Portugal)
1
VMCAI (Conference) Los Angeles, Calif.)
1
VMCAI (Conference) Mumbai, India)
1
VMCAI (Conference) New Orleans, La.)
1
VMCAI (Conference) Online)
1
VMCAI (Conference) Paris, France)
1
VMCAI (Conference) Philadelphia, Pa.) Philadephia, Pa.)
1
VMCAI (Conference) Rome, Italy)
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication