Report - 2.4. Especiﬁcaciones formales constructivasnmarin/sec2.4.pdf · 2.4. Especiﬁcaciones formales constructivas 61 incluyendo el anterior comportamiento como aserto invariante del

Please pass captcha verification before submit form