Howard Barringer profile picture

Howard Barringer

Is this your author profile? Create an account to customize it!

Stand Alone

A survey of verification techniques for parallel programs
Runtime Verification
Advances in temporal logic
The Imperative future
Temporal logic in specification
Advances in Temporal Logic
Advances in Temporal Logic
Advances in Temporal Logic
The Imperative Future: Principles of Executable Temporal Logic (Advanced Software Development Series)