FM 2016 - 21st International Symposium on Formal Methods


Computer Hardware Design Computing Systems Engineering & Computer Science (General)



FM 2016 is the latest in a series of symposia organized by Formal Methods Europe, an independent association that encourages the use of, and research on, formal methods for the engineering of computer-based systems and software.