Title of article
On local modularity variants and Π-institutions
Author/Authors
Paulo A. S. Veloso، نويسنده , , Sheila R. M. Veloso، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2001
Pages
7
From page
247
To page
253
Keywords
Theory of computation , modularity , Data types , Specification languages , Institution , Formal specifications , Families of specifications , Software engineering , Interpretations
Journal title
Information Processing Letters
Serial Year
2001
Journal title
Information Processing Letters
Record number
129339
Link To Document