Mike Hinchey

1. Provably Correct Systems
   2017/01/01 by Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog · 3 citations
   Computer Science · #Formal Methods in Verification #History of Computing Technologies #Security and Verification in Computing