Howard Barringer

Howard Barringer

3 books in the database

Books

Advances in Temporal LogicHoward Barringer

Advances in Temporal Logic

Howard Barringer · 2013

Runtime VerificationHoward Barringer

Runtime Verification

Howard Barringer · 2010

Temporal Logic in SpecificationHoward Barringer

Temporal Logic in Specification

Howard Barringer · 2007