FESCA@ETAPS

Keyphrases

Publications

2017

volume 245, 2017

Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA@ETAPS 2017, Uppsala, Sweden, 22nd April 2017. FESCA@ETAPS 245 (2017)

2016

volume 205, 2016

Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016. FESCA@ETAPS 205 (2016)

volume 279, number 2, 2011

Proceedings of the 8th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA@ETAPS 2011, Saarbrücken, Germany, April 2, 2011 FESCA@ETAPS 279 (2) (2011)

volume 264, number 1, 2010

Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA@ETAPS 2010, Paphos, Cyprus, March 27, 2010 FESCA@ETAPS 264 (1) (2010)

volume 238, number 6, 2010

Proceedings of the 5th International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2008, Budapest, Hungary, March 29, 2008 FESCA@ETAPS 238 (6) (2010)