zbMath0584.68042MaRDI QIDQ3707388
Axel Poigné
Publication date: 1984
zbMATH Keywords
correctness; partial ordering; Abstract data type parametrization; safety of parameter passing
Mathematics Subject Classification ID
68Q60: Specification and verification (program logics, model checking, etc.)
68P05: Data structures
Related Items