Výsledky vyhledávání - Specifying and Verifying and Reasoning about Programs—Mechanical verification*
Pro Váš dotaz - Specifying and Verifying and Reasoning about Programs—Mechanical verification* - nebyl nalezen žádný výsledek.
Můžete zkusit použít některé podobné tvary:
Více výsledků můžete získat úpravou Vašeho dotazu.
- Vyhledávání s použitím zástupných znaků ('*', '?') může vrátit více výsledků (fuzzy vyhledávání).: Specifying and Verifying and Reasoning about Programs—Mechanical verification~.
- Boolovské operátory je třeba zapisovat VELKÝMI PÍSMENY: Specifying AND Verifying AND Reasoning about Programs—Mechanical verification*.