On local modularity variants and Π-institutions

Paulo A. S. Veloso، نويسنده , , Sheila R. M. Veloso، نويسنده ,

دوهفته نامه با شماره پیاپی سال 2001

7

247

253

Theory of computation , modularity , Data types , Specification languages , Institution , Formal specifications , Families of specifications , Software engineering , Interpretations

Information Processing Letters

2001

Information Processing Letters

129339