University at Buffalo HFES Student Chapter, 25 May 2017 The Handbook of Formal Methods in Human-Computer Interaction, featuring a chapter by Dr. Bolton, is now available. His chapter…