1 paper
Ryota Nakayama, Naoki Nishida, Masahiko Sakai
In this paper, we show that the SR transformation, a computationally equivalent transformation proposed by Serbanuta and Rosu, is a sound structure-preserving transformation for we…