Publication:3790608
From MaRDI portal
zbMath0646.68013MaRDI QIDQ3790608
Fatma Mili, Ben Mohamed Alaya, Ali Milli
Publication date: 1988
fixed points; program semantics; recursive programs; Strongest invariant functions; iterative programs
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items