Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Wulandari, P S"'
Autor:
Wulandari, Gia S., Plump, Detlef
Publikováno v:
EPTCS 330, 2020, pp. 181-200
We consider Hoare-style verification for the graph programming language GP 2. In previous work, graph properties were specified by so-called E-conditions which extend nested graph conditions. However, this type of assertions is not easy to comprehend
Externí odkaz:
http://arxiv.org/abs/2012.01662
Publikováno v:
IOP Conference Series: Earth & Environmental Science; 5/5/2023, Vol. 1195 Issue 1, p1-11, 11p
Autor:
Wulandari, P S, Tjandra, D
Publikováno v:
IOP Conference Series: Earth & Environmental Science; 5/5/2023, Vol. 1195 Issue 1, p1-6, 6p
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:
Civil Engineering Dimension. Sep2019, Vol. 21 Issue 2, p107-112. 6p.
Publikováno v:
IOP Conference Series: Earth & Environmental Science; 2023, Vol. 1134 Issue 1, p1-6, 6p
Publikováno v:
AIP Conference Proceedings Online; February 2023, Vol. 2675 Issue: 1 p030007-30016, 10p
Publikováno v:
IOP Conference Series: Earth & Environmental Science; 2021, Vol. 850-907, p1-7, 7p
Publikováno v:
IOP Conference Series: Earth & Environmental Science; 2021, Vol. 850-907, p1-16, 16p
Autor:
Wulandari, P S, Tjandra, D
Publikováno v:
IOP Conference Series: Earth & Environmental Science; 2021, Vol. 850-907, p1-9, 9p