Entdecken Sie die Band 7635 der Notes in Computer Science, der 14. ICFEM-Konferenz in Kyoto, mit tiefgehenden Beiträgen zu formalen Methoden und Softwaretechnik, die theoretische Modelle mit praktischen Anwendungen verbinden.