Building an Extensible Textual Framework for the Rodin Platform

Authors :: Thai Son Hoang
Colin Snook
Dana Dghaym
Asieh Salehi Fathabadi
Michael Butler
Source :: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops ISBN: 9783031262357
Publication Year :: 2023
Publisher :: Springer International Publishing, 2023.

ISBN :: 978-3-031-26235-7
ISBNs :: 9783031262357
Database :: OpenAIRE
Journal :: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops ISBN: 9783031262357
Accession number :: edsair.doi...........5895ff67839c25be8999928831fb77ac
Full Text :: https://doi.org/10.1007/978-3-031-26236-4_11