Provably Correct Systems: Community, Connections, and Citations.
Book chapter
Bowen, J. (2017). Provably Correct Systems: Community, Connections, and Citations. in: Hinchey, MG, Bowen, JP and Olderog, E-R (ed.) Provably Correct Systems Springer. pp. 313-328
Authors | Bowen, J. |
---|---|
Editors | Hinchey, MG, Bowen, JP and Olderog, E-R |
Abstract | Abstract The original European ESPRIT ProCoS I and II projects on Provably Correct Systems took place around a quarter of a century ago. Since then, the legacy of the initiative has spawned many researchers with careers in formal methods, forming |
Page range | 313-328 |
Year | 2017 |
Book title | Provably Correct Systems |
Publisher | Springer |
Series | NASA Monographs in Systems and Software Engineering |
ISBN | 978-3-319-48627-7 |
Publication dates | |
01 Mar 2017 | |
Publication process dates | |
Deposited | 21 May 2018 |
Accepted | 01 Jan 2017 |
Web address (URL) | https://doi.org/10.1007/978-3-319-48628-4 |
Accepted author manuscript | License |
https://openresearch.lsbu.ac.uk/item/87035
Restricted files
Accepted author manuscript
65
total views0
total downloads0
views this month0
downloads this month