Visualisation of Executable Formal Specifications for User Validation.
M. Özcan, P. Parry, I. Morrey, and J. Siddiqi. Services and Visualization: Towards User-Friendly Design, volume 1385 of Lecture Notes in Computer Science, page 142-157. Springer, (1998)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/tacas/OzcanPMS98
%A Özcan, Mehmet Bülent
%A Parry, Paul William
%A Morrey, Ian C.
%A Siddiqi, Jawed I. A.
%B Services and Visualization: Towards User-Friendly Design
%D 1998
%E Margaria, Tiziana
%E Steffen, Bernhard
%E Rückert, Roland
%E Posegga, Joachim
%I Springer
%K dblp
%P 142-157
%T Visualisation of Executable Formal Specifications for User Validation.
%U http://dblp.uni-trier.de/db/conf/tacas/acos1998.html#OzcanPMS98
%V 1385
%@ 3-540-64367-2
@inproceedings{conf/tacas/OzcanPMS98,
added-at = {2023-09-18T00:00:00.000+0200},
author = {Özcan, Mehmet Bülent and Parry, Paul William and Morrey, Ian C. and Siddiqi, Jawed I. A.},
biburl = {https://www.bibsonomy.org/bibtex/23c062957568e83e1ed06452efdada6e7/dblp},
booktitle = {Services and Visualization: Towards User-Friendly Design},
crossref = {conf/tacas/1998acos},
editor = {Margaria, Tiziana and Steffen, Bernhard and Rückert, Roland and Posegga, Joachim},
ee = {https://doi.org/10.1007/BFb0053503},
interhash = {283b2c590c3eee538d24281f728eee9a},
intrahash = {3c062957568e83e1ed06452efdada6e7},
isbn = {3-540-64367-2},
keywords = {dblp},
pages = {142-157},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-10T07:25:32.000+0200},
title = {Visualisation of Executable Formal Specifications for User Validation.},
url = {http://dblp.uni-trier.de/db/conf/tacas/acos1998.html#OzcanPMS98},
volume = 1385,
year = 1998
}
