Object

Title: Temporal logic as a tool for program correctness analysis

Similar

This page uses 'cookies'. More information