Title of article :
On local modularity and interpolation in entailment systems
Author/Authors :
Paulo A. S. Veloso، نويسنده , , José L. Fiadeiro، نويسنده , , Sheila R. M. Veloso، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2002
Keywords :
Formal specifications , modularity , Institution , Software engineering , interpolation
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters
