The International Conference "Foundations of Software Science and Compu- tion Structures" (FOSSACS) is a constituent of the "Joint European Conferences on Theoryand Practice of Software" (ETAPS). The... This description may be from another edition of this product.