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
Pages
9
From page
203
To page
211
Keywords
Formal specifications , modularity , Institution , Software engineering , interpolation
Journal title
Information Processing Letters
Serial Year
2002
Journal title
Information Processing Letters
Record number
129515
Link To Document