Due to maintenance works, the sites dblp.org and dblp.dagstuhl.de may become temporarily unavailable on Wednesday, December 13th, 2017. We are sorry for the inconvenience. In the mean time, please use mirror server dblp.uni-trier.de instead.
Jan Kofron, Jana Tumova: Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA@ETAPS 2017, Uppsala, Sweden, 22nd April 2017.EPTCS 245, 2017[contents]
Jan Kofron, Jana Tumova, Bara Buhnova: Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016.EPTCS 205, 2016[contents]