1999
Other
Unknown
Formal system specification
Paternò F., Santoro C., Navarre D., Palanque P., Ousmane S., Bastide R., Le Duc H.
Interactive cooperative object Formal specification technique Interactive systems formal specification Software/program verification User interfaces
An abstract is not available.
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:407878,
title = {Formal system specification},
author = {Paternò F. and Santoro C. and Navarre D. and Palanque P. and Ousmane S. and Bastide R. and Le Duc H.},
year = {1999}
}
0000-0001-8355-6909CNR ExploRA