Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Wu, Xiongnan (Newman)"'
Autor:
Wu, Xiongnan Newman
Formal verification is the only known way of building bug-free or hacker-proof programs. However, due to its prohibitive associated costs, formal verification has rarely been considered as an option in building robust large-scale system software. Pra
Externí odkaz:
http://pqdtopen.proquest.com/#viewpdf?dispub=13851930
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Gu, Ronghui, Shao, Zhong, Kim, Jieung, Wu, Xiongnan (Newman), Koenig, Jérémie, Sjöberg, Vilhelm, Chen, Hao, Costanzo, David, Ramananandro, Tahina
Publikováno v:
ACM / SIGPLAN Notices; Apr2018, Vol. 53 Issue 4, p646-661, 16p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Applications of Declarative Programming & Knowledge Management: 19th International Conference, INAP 2011 & 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers; 2013, p215-236, 22p
Publikováno v:
Logic for Programming, Artificial Intelligence & Reasoning (9783642287169); 2012, p15-22, 8p