2000
Book
Unknown
Design, specification and verification of interactive systems 2000
Palanque P., Paternò F.
User interfaces Logics and meanings of programs
An abstract is not available.
Back to previous page
BibTeX entry
@book{oai:it.cnr:prodotti:406507,
title = {Design, specification and verification of interactive systems 2000},
author = {Palanque P. and Paternò F.},
year = {2000}
}
0000-0001-8355-6909CNR ExploRA