- Record: found
- Abstract: not found
- Book Chapter: not found
Network and Operating System Support for Digital Audio and Video
Proof-based development of specifications with KIDS/VDM
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references10
- Record: found
- Abstract: not found
- Article: not found
KIDS: a semiautomatic program development system
D.R. Smith (1990)
- Record: found
- Abstract: not found
- Book: not found
mural: A Formal Development Support System
C. B. Jones, K. D. Jones, P. A. Lindsay … (1991)
- Record: found
- Abstract: not found
- Book: not found
Systematic Software Development using VDM
C.B. Jones, C. B. Jones, C.B. Jones … (1990)