Maurice H. ter Beek

7 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Random

Details Grid — Show only ebooks?

Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings

by Maurice H. ter Beek and Rosemary Monahan First published in 2022 — 1 edition

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings

by Maurice H. ter Beek and Dejan Ničković First published in 2020 — 1 edition

Locate

My Reading Lists:

Create a new list
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-Intensive Systems

by Maurice H. ter Beek First published in 2017 — 1 edition

Locate

My Reading Lists:

Create a new list
Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

by Maurice H. ter Beek and Niels Lohmann First published in 2013 — 1 edition

Locate

My Reading Lists:

Create a new list
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

by Maurice H. ter Beek, Annabelle McIver, and José N. Oliveira First published in 2019 — 1 edition

Locate

My Reading Lists:

Create a new list
Architecting Dependable Systems VI

by Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, and Maurice H. ter Beek First published in 2009 — 1 edition

Locate

My Reading Lists:

Create a new list
From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

by Maurice H. ter Beek, Alessandro Fantechi, and Laura Semini First published in 2019 — 1 edition

Locate

My Reading Lists:

Create a new list

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL7842113A

Links outside Open Library

No links yet. Add one?

History

Created April 25, 2020
1 revision

Download catalog record: RDF / JSON

April 25, 2020

Created by ImportBot

import new book

Maurice H. ter Beek

7 works Add another?

Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings

Create a new list

Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings

Proceedings of the Eleventh International Workshop on Variability Modelling of Software-Intensive Systems

Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings

Architecting Dependable Systems VI

From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Subjects

Lists

Add to List

ID Numbers

Links outside Open Library

History