Margaria Tiziana

Formal Methods for Industrial Critical Systems. A Survey of Applications

Подробнее