Inproceedings,
Early Specification of User-Interfaces: Toward a Formal Approach.
J. Jacquot, and D. Quesnot.ICSE, page 150-160. ACM, (1997)
Meta data
- BibTeX key
- conf/icse/JacquotQ97
- entry type
- inproceedings
- booktitle
- ICSE
- year
- 1997
- pages
- 150-160
- publisher
- ACM
- crossref
- conf/icse/1997
- ee
- https://doi.org/10.1145/253228.253257
- isbn
- 0-89791-914-9
- url
- http://dblp.uni-trier.de/db/conf/icse/icse97.html#JacquotQ97
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/icse/JacquotQ97
%A Jacquot, Jean-Pierre
%A Quesnot, D.
%B ICSE
%D 1997
%E Adrion, W. Richards
%E Fuggetta, Alfonso
%E Taylor, Richard N.
%E Wasserman, Anthony I.
%I ACM
%K dblp
%P 150-160
%T Early Specification of User-Interfaces: Toward a Formal Approach.
%U http://dblp.uni-trier.de/db/conf/icse/icse97.html#JacquotQ97
%@ 0-89791-914-9
@inproceedings{conf/icse/JacquotQ97,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Jacquot, Jean-Pierre and Quesnot, D.},
biburl = {https://www.bibsonomy.org/bibtex/2c88aa3500f92321b777954e181290ea5/dblp},
booktitle = {ICSE},
crossref = {conf/icse/1997},
editor = {Adrion, W. Richards and Fuggetta, Alfonso and Taylor, Richard N. and Wasserman, Anthony I.},
ee = {https://doi.org/10.1145/253228.253257},
interhash = {757802ba66cf86efd2b242e431dcf2bb},
intrahash = {c88aa3500f92321b777954e181290ea5},
isbn = {0-89791-914-9},
keywords = {dblp},
pages = {150-160},
publisher = {ACM},
timestamp = {2018-11-07T16:33:41.000+0100},
title = {Early Specification of User-Interfaces: Toward a Formal Approach.},
url = {http://dblp.uni-trier.de/db/conf/icse/icse97.html#JacquotQ97},
year = 1997
}