Biblio Export 1 results: RTF EndNote XML Filters: Автор is Alexei Iliasov [Clear All Filters]2010"Developing Mode-Rich Satellite Software by Refinement in Event-B." In Formal Methods for Industrial Critical Systems, FMICS 2010. Springer, 2010.DOI Google Scholar RTF EndNote XML
