Metadata
Author: Literature
Data
English[en]
Pnueli (1977) introduced the idea of using classical temporal logic to reason about programs.
Spanish[es]
Pnueli (1977) fue el primero en utilizar la lógica temporal clásica para razonar sobre los programas.