Showing 1 - 17
of 17
for search: '"Software engineering Congresses."',
query time: 0.34s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
Author
International Workshop on Formal Methods for Industrial Critical Systems
17
SpringerLink (Online service)
2
International Workshop on Automated Verification of Critical Systems
2
International Workshop on Formal Methods for Industrial Critical Systems Antwerp, Belgium)
1
Alpuente, María
1
Barnat, Jiří,
more ...
1
Beek, Maurice H. ter,
1
Brim, Lubǒs
1
Cavalcanti, Ana,
1
Cimatti, Alessandro
1
Cofer, Darren
1
Cook, Byron
1
Dierkes, Michael,
1
Fantechi, Alessandro
1
Flammini, Francesco,
1
Gnesi, Stefania, 1954-
1
Groote, J. F. 1965-
1
Güdemann, Matthias,
1
Howar, Falk,
1
Huisman, Marieke
1
International Workshop on Formal Methods for Industrial Critical Systems Amsterdam, Netherlands)
1
International Workshop on Formal Methods for Industrial Critical Systems Berlin, Germany)
1
International Workshop on Formal Methods for Industrial Critical Systems Bonn, Germany)
1
International Workshop on Formal Methods for Industrial Critical Systems Eindhoven, Netherlands)
1
International Workshop on Formal Methods for Industrial Critical Systems Florence, Italy)
1
International Workshop on Formal Methods for Industrial Critical Systems L'Aquila, Italy)
1
International Workshop on Formal Methods for Industrial Critical Systems Madrid, Spain)
1
International Workshop on Formal Methods for Industrial Critical Systems Maynooth, Ireland)
1
International Workshop on Formal Methods for Industrial Critical Systems Online)
1
International Workshop on Formal Methods for Industrial Critical Systems Oslo, Norway)
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication