Travelled to:
1 × France
Collaborated with:
D.M.Rusakov V.A.Zakharov
Talks about:
program (1) problem (1) equival (1) switch (1) mode (1)
Person: Rimma I. Podlovchenko
DBLP: Podlovchenko:Rimma_I=
Contributed to:
Wrote 1 papers:
- CIAA-2005-PodlovchenkoRZ #equivalence #on the #problem #source code
- On the Equivalence Problem for Programs with Mode Switching (RIP, DMR, VAZ), pp. 351–352.