1995
Other
Unknown
Application of correctness preserving transformations for deriving architectural descriptions of interface specifications
Bernardeschi C., Fantechi A., Paternò F.
Deriving architectural interface specifications
An abstract is not available
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:411879,
title = {Application of correctness preserving transformations for deriving architectural descriptions of interface specifications},
author = {Bernardeschi C. and Fantechi A. and Paternò F.},
year = {1995}
}
0000-0002-4648-4667CNR ExploRA