Travelled to:
1 × France
Collaborated with:
R.I.Podlovchenko V.A.Zakharov
Talks about:
program (1) problem (1) equival (1) switch (1) mode (1)
Person: Dmitry M. Rusakov
DBLP: Rusakov:Dmitry_M=
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.