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.












