scientific article
From MaRDI portal
Publication:3212297
zbMath0724.68056MaRDI QIDQ3212297
Michael Luby, Manuel Blum, Ronitt Rubinfeld
Publication date: 1991
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Data encryption (aspects in computer science) (68P25) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)
Related Items
A survey on delegated computation, Checking the correctness of memories, On being incoherent without being very hard, Mechanical Software Verification, Self-testing/correcting with applications to numerical problems
