The Digital Librarian's Digital Library
search
D
O
CIS
Do
cuments in
C
omputing and
I
nformation
S
cience
Home
>>
Journals and Conference Proceedings
>>
Algebraic Methodology and Software Technology
Towards Correspondence Carrying Specifications
Marius C. Bujorianu, Eerke A. Boiten
Journal Title: Algebraic Methodology and Software Technology
Date: 2004
For further information about this item go to:
http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3116&spage=57
This data comes from
DBLP
This page is maintained by
Angela Cornwell
and
Thomas Krichel
.
It was last updated on 2006-04-12