A two-level temporal logic for evolving specifications.

From MaRDI portal
Publication:1853062