Search results
From MaRDI portal
- \(\mathbb C^ n\) 1992-06-27 Paper Framework of algorithm correctness in NDADAS 1992-06-27 Paper A note on limit distributions of integral functionals of...10 bytes (15 words) - 10:20, 24 September 2023
- algorithm; correctness; software engineering; functional specification; NDADAS Mathematics Subject Classification ID 68Q60: Specification and verification...15 bytes (44 words) - 00:52, 30 January 2024
