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)

volume 253, number 1, 2009

Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, FESCA@ETAPS 2009, York, UK, April 28, 2009 FESCA@ETAPS 253 (1) (2009)

volume 203, number 7, 2008

Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2007, Braga, Portugal, March 24, 2007 FESCA@ETAPS 203 (7) (2008)

volume 176, number 2, 2007

Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2006, Vienna, Austria, March 26, 2006 FESCA@ETAPS 176 (2) (2007)

volume 141, number 3, 2005

Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, FESCA@ETAPS 2005, Edinburgh, UK, April 9, 2005 FESCA@ETAPS 141 (3) (2005)

volume 108, 2004

Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, FESCA@ETAPS 2004, Barcelona, Spain, April 3, 2004 FESCA@ETAPS 108 (2004)