It looks like you're offline.

Last edited by ImportBot

October 5, 2021 | History

Edit

Maurice H. Ter Beek

We need a photo of Maurice H. Ter Beek

1 work Add another?

Details Grid — Show only ebooks?

Critical Systems : Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, Fmics-Avocs 2016, Pisa, Italy, September 26-28, 2016, Proceedings

by Maurice H. Ter Beek, Stefania Gnesi, and Alexander Knapp First published in 2016
1 edition

Locate

My Reading Lists:

Use this Work
Create a new list

Create a new list
×Close

Name:

Description:

Cancel

We need a photo of Maurice H. Ter Beek

My Reading Lists:

Create a new list

ID Numbers

OLID: OL9714733A

Links outside Open Library

No links yet. Add one?

Download catalog record: RDF / JSON