Abstract
I reminisce over an episode at the 9–13 November 1987 IFIP WG2.3 meeting at Château du Pont d’Oye in Belgium — and at what followed.
Paper read at the BCS-FACS ProCoS Workshop on Provably Correct Systems, London, UK, 9–10 March 2015.
The original version of this chapter was revised: For detailed information please see Erratum. The erratum to this chapter is available at 10.1007/978-3-319-48628-4_14
An erratum to this chapter can be found at http://dx.doi.org/10.1007/978-3-319-48628-4_14
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Bjørner, D. (2017). ProCoS: How It All Began – as Seen from Denmark. In: Hinchey, M., Bowen, J., Olderog, ER. (eds) Provably Correct Systems. NASA Monographs in Systems and Software Engineering. Springer, Cham. https://doi.org/10.1007/978-3-319-48628-4_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-48628-4_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-48627-7
Online ISBN: 978-3-319-48628-4
eBook Packages: Computer ScienceComputer Science (R0)