Robert L. Constable

1. Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML
   2016/01/06 by Vincent Rahli, Rahli, Vincent, David Guaspari +5 · 2 citations
   Computer Science · #Distributed systems and fault tolerance #Logic, programming, and type systems #Security and Verification in Computing