Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22--29, 2017. Proceedings
From MaRDI portal
(Redirected from Publication:521665)
Cited in
(7)- A formal theory of choreographic programming
- Foundations of software science and computation structures. 22nd international conference, FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6--11, 2019. Proceedings
- Foundations of software science and computation structures. 21st international conference, FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14--20, 2018. Proceedings
- Non-commutative disintegrations: existence and uniqueness in finite dimensions
- scientific article; zbMATH DE number 7649944 (Why is no real title available?)
- Foundations of software science and computation structures. 25th international conference, FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2--7, 2022. Proceedings
- Progress-preserving refinements of CTA
This page was built for publication: Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22--29, 2017. Proceedings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q521665)