Margaria Tiziana

1 кн.
Formal Methods for Industrial Critical Systems. A Survey of Applications
Formal Methods for Industrial Criti...