Showing 1 - 17
of 17
for search: '',
query time: 0.08s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Author: International Workshop on Formal Methods for Industrial Critical Systems
Format: eBook
Institution: Colorado Mesa University
Subject: Software engineering
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