Formal Methods for Safety and Security

Formal Methods for Safety and Security

Formal Methods for Safety and Security
2017ISBN 9789811041204
Viršelis: KietasAnglų k.