Our paper “Formally Defining and Iterating Infinite Models” (Benoit Combemale, Xavier Thirioux, Benoit Baudry) has been accepted at the MODELS’12 conference. It will be presented in Innsburck, Austria in October.
Jun 18
One paper accepted at MODELS
Jun 18
Our paper “Formally Defining and Iterating Infinite Models” (Benoit Combemale, Xavier Thirioux, Benoit Baudry) has been accepted at the MODELS’12 conference. It will be presented in Innsburck, Austria in October.