Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995).
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/cn/CourtiatDHLRZ96
%A Courtiat, Jean-Pierre
%A Dembinski, Piotr
%A Holzmann, Gerard J.
%A Logrippo, Luigi
%A Rudin, Harry
%A Zave, Pamela
%D 1996
%J Computer Networks and ISDN Systems
%K dblp
%N 13
%P 1845-1855
%T Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995).
%U http://dblp.uni-trier.de/db/journals/cn/cn28.html#CourtiatDHLRZ96
%V 28
@article{journals/cn/CourtiatDHLRZ96,
added-at = {2003-11-27T00:00:00.000+0100},
author = {Courtiat, Jean-Pierre and Dembinski, Piotr and Holzmann, Gerard J. and Logrippo, Luigi and Rudin, Harry and Zave, Pamela},
biburl = {https://www.bibsonomy.org/bibtex/225e72947cebfe45d6c383c1a4584ef2a/dblp},
date = {2003-11-27},
description = {dblp},
ee = {http://dx.doi.org/10.1016/0169-7552(96)00083-9},
interhash = {df08222cb785952b3cabf521866f1d36},
intrahash = {25e72947cebfe45d6c383c1a4584ef2a},
journal = {Computer Networks and ISDN Systems},
keywords = {dblp},
number = 13,
pages = {1845-1855},
timestamp = {2003-11-27T00:00:00.000+0100},
title = {Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995).},
url = {http://dblp.uni-trier.de/db/journals/cn/cn28.html#CourtiatDHLRZ96},
volume = 28,
year = 1996
}