The Temporal Logic of Programs

Presented on February 14, 2019
Presenter: Michael

Preview

Michael will present the 1977 paper “The Temporal Logic of Programs” by Amir Pnueli.

Attachments