FM 2016: 21st International Symposium on Formal Methods is a conference dedicated to the theory and application of formal methods.
FM 2016: 21st International Symposium on Formal Methods brings together: