scientific article; zbMATH DE number 3596218
From MaRDI portal
Publication:4162629
zbMath0383.68012MaRDI QIDQ4162629
Luigia Carlucci Aiello, Gianfranco Prini, Giuseppe Attardi
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items