Deductive reconstruction of MLT

Manfred A. Jeusfeld, Joo Paulo A. Almeida, Victorio Albani de Carvalho, Claudenir M. Fonseca, Bernd Neumayr

Browse the full MODELS paper archive.