Maurice H. Ter Beek
AuthID: R-00G-ZT0
1
TÃTULO: Proceedings of the First Workshop on Trends in Configurable Systems Analysis, TiCSA@ETAPS 2023, Paris, France, 23rd April 2023
AUTORES: Maurice H ter Beek; Clemens Dubslaff;
PUBLICAÇÃO: 2023, FONTE: TiCSA@ETAPS, VOLUME: 392
AUTORES: Maurice H ter Beek; Clemens Dubslaff;
PUBLICAÇÃO: 2023, FONTE: TiCSA@ETAPS, VOLUME: 392
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings
AUTORES: Maurice H ter Beek; Rosemary Monahan;
PUBLICAÇÃO: 2022, FONTE: IFM, VOLUME: 13274
AUTORES: Maurice H ter Beek; Rosemary Monahan;
PUBLICAÇÃO: 2022, FONTE: IFM, VOLUME: 13274
INDEXADO EM: DBLP
DBLP3
TÃTULO: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings
AUTORES: Maurice H ter Beek; Annabelle McIver; José N Oliveira;
PUBLICAÇÃO: 2019, FONTE: FM, VOLUME: 11800
AUTORES: Maurice H ter Beek; Annabelle McIver; José N Oliveira;
PUBLICAÇÃO: 2019, FONTE: FM, VOLUME: 11800
INDEXADO EM: DBLP
DBLP4
TÃTULO: From Software Engineering to Formal Methods and Tools, and Back. Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
AUTORES: Maurice H ter Beek; Alessandro Fantechi; Laura Semini;
PUBLICAÇÃO: 2019
AUTORES: Maurice H ter Beek; Alessandro Fantechi; Laura Semini;
PUBLICAÇÃO: 2019
INDEXADO EM: 
Openlibrary
Openlibrary5
TÃTULO: Web Services and Formal Methods - 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
AUTORES: Maurice ter t Beek; Niels Lohmann;
PUBLICAÇÃO: 2013, FONTE: WS-FM, VOLUME: 7843
AUTORES: Maurice ter t Beek; Niels Lohmann;
PUBLICAÇÃO: 2013, FONTE: WS-FM, VOLUME: 7843
INDEXADO EM: DBLP
DBLP