Publication:4493906
From MaRDI portal
zbMath0953.68039MaRDI QIDQ4493906
Anna Mikhajlova, Joakim von Wright, Ralph-Johan Back
Publication date: 1999
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Dual choice and iteration in an abstract algebra of action, An approach to formal verification of human-computer interaction