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