Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming − Invited Paper
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming − Invited Paper
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Hi-index | 0.00 |