Books by Howard Barringer
Total count: 3
A survey of verification techniques for parallel programs.Springer1985-01-01
Runtime VerificationFirst International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. ProceedingsSpringer Berlin Heidelberg2010-01-01
Advances in Temporal LogicBarringer Howard Fisher Michael Gabbay Dov M2010-12-07