Webpages tagged with «FM2015»

Published June 25, 2015 4:59 PM

In a special session at FM2015, the 20th International Conference on Formal Methods,  the first FME fellowship was awared. The first FME fellow is Cliff Jones.