Amanote Research
Register
Sign In
On Temporal Program Verification Rules
RAIRO. Informatique théorique
doi 10.1051/ita/1985190302611
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1985
Authors
F. Kröger
Publisher
EDP Sciences