Publication:3979260
From MaRDI portal
zbMath0743.03014MaRDI QIDQ3979260
Publication date: 26 June 1992
completeness; modality; first-order temporal logics; partial correctness assertions; past; temporal logics of programs; provability of program properties
Related Items