Software technology: 10 years of innovation in IEEE computer

por Hinchey, Mike
Publicado 2018

Guest Editorial: Intelligence for systems and software engineering

por Hinchey, Mike, Jain, Amit, Kaushik, Manju, Misra, Sanjay
Publicado 2023

Provably correct systems

por Hinchey, Mike, Bowen, Jonathan P, Olderog, Ernst-R&#xfcdiger
Publicado 2017

SOFSEM 2017: 43rd international conference on current trends in theory and practice of computer science, Limerick, Ireland, January 16-20, 2017, proceedings

por Steffen, Bernhard, Baier, Christel, van den Brand, Mark, Eder, Johann, Hinchey, Mike, Margaria, Tiziana
Publicado 2017