Transformational design of real-time systems. II: From program specifications to programs
From MaRDI portal
Publication:1127814
zbMath0912.68130MaRDI QIDQ1127814
Publication date: 10 September 1998
Published in: Acta Informatica (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)
68N99: Theory of software
Related Items