Special issue: Formal methods for components and objects pracmatic aspects and applications. Papers from the first international symposium on formal methods for components and objects (FMCO), Leiden, The Netherlands, November 5--8, 2002.
From MaRDI portal
Publication:2487011
DOI10.1016/J.SCICO.2004.05.009zbMATH Open1078.68529OpenAlexW4206646856MaRDI QIDQ2487011
Author name not available (Why is that?)
Publication date: 17 August 2005
Published in: (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2004.05.009
No records found.
This page was built for publication: Special issue: Formal methods for components and objects pracmatic aspects and applications. Papers from the first international symposium on formal methods for components and objects (FMCO), Leiden, The Netherlands, November 5--8, 2002.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2487011)
