zbMath0847.68062MaRDI QIDQ4885876
Manfred Broy
Publication date: 28 July 1996
zbMATH Keywords
functional system specifications
Mathematics Subject Classification ID
Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items