- Tytuł:
- Algorithmic Logic + SpecVer = The Methodology for High Integrity Programming - Invited Paper
- Autorzy:
-
Mirkowska, G.
Salwicki, A.
Świda, O. - Data publikacji:
- 2008
- Słowa kluczowe:
-
verification of algorithms
specification - Pokaż więcej
- Dostawca treści:
- BazTech