An Institution for Event-B
From MaRDI portal
Publication:5208502
DOI10.1007/978-3-319-72044-9_8zbMath1496.68105MaRDI QIDQ5208502
Rosemary Monahan, James F. Power, Marie Farrell
Publication date: 16 January 2020
Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)
Full work available at URL: http://mural.maynoothuniversity.ie/12011/1/Monahan_Institution_LNCS_2017.pdf
68Q65: Abstract data types; algebraic specification
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)