Barnes and Noble
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings
Unfortunately, this item is no longer available, but we found some similar items you might like.