Travelled to:
1 × Sweden
Collaborated with:
T.Weigert
Talks about:
system (1) symbol (1) requir (1) verif (1) vrs (1)
Person: Oleksandr Letychevskyi
DBLP: Letychevskyi:Oleksandr
Contributed to:
Wrote 1 papers:
- RE-2014-LetychevskyiW #requirements #verification
- Symbolic verification of requirements in VRS system (OL, TW), pp. 331–332.