1. Formal aspects of component software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised selected papers /: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised selected papers. ([2015]) Editors: Lanese, Ivan; Madelaine, Eric Other Names: FACS (Symposium), 11th Record Type: Book Extent: 1 online resource (x, 385 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Formal aspects of component software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised selected papers /: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised selected papers. (2016) Editors: (Computer scientist), Braga, Christiano; Ölveczky, Peter Csaba Other Names: FACS (Symposium), 12th Record Type: Book Extent: 1 online resource (x, 331 pages), color illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Formal aspects of component software : 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised selected papers /: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised selected papers. (2017) Editors: Kouchnarenko, Olga; Khosravi, Ramtin Other Names: FACS (Symposium), 13th Record Type: Book Extent: 1 online resource (xviii, 281 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Formal aspects of component software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /: 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings. (2017) Editors: (Post doc researcher), Proença, José; Lumpe, Markus Other Names: FACS (Symposium), 14th Record Type: Book Extent: 1 online resource (x, 251 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Formal aspects of component software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings /: 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings. (2018) Editors: Bae, Kyungmin; Ölveczky, Peter Csaba Other Names: FACS (Symposium), 15th Record Type: Book Extent: 1 online resource (xii, 297 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Formal aspects of component software : 16th International Conference, FACS 2019, Amsterdam, the Netherlands, October 23-25, 2019, Proceedings /: 16th International Conference, FACS 2019, Amsterdam, the Netherlands, October 23-25, 2019, Proceedings. (2020) Editors: Arbab, F (Farhad); Jongmans, Sung-Shik Other Names: FACS (Symposium), 16th Record Type: Book Extent: 1 online resource (x, 261 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗