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/bcs/HondaY08
%A Honda, Kohei
%A Yoshida, Nobuko
%B BCS Int. Acad. Conf.
%D 2008
%E Gelenbe, Erol
%E Abramsky, Samson
%E Sassone, Vladimiro
%I British Computer Society
%K dblp
%P 259-274
%T A Unified Theory of Program Logics: An Approach based on the n-Calculus.
%U http://dblp.uni-trier.de/db/conf/bcs/bcs2008.html#HondaY08
@inproceedings{conf/bcs/HondaY08,
added-at = {2009-09-21T00:00:00.000+0200},
author = {Honda, Kohei and Yoshida, Nobuko},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/258b4076dd9700c9dc07795e0b3314b02/dblp},
booktitle = {BCS Int. Acad. Conf.},
crossref = {conf/bcs/2008},
editor = {Gelenbe, Erol and Abramsky, Samson and Sassone, Vladimiro},
ee = {http://www.bcs.org/server.php?show=ConWebDoc.22910},
interhash = {91ff4adda0a13c29f57d7c5daadb902a},
intrahash = {58b4076dd9700c9dc07795e0b3314b02},
keywords = {dblp},
pages = {259-274},
publisher = {British Computer Society},
timestamp = {2016-02-02T11:59:48.000+0100},
title = {A Unified Theory of Program Logics: An Approach based on the n-Calculus.},
url = {http://dblp.uni-trier.de/db/conf/bcs/bcs2008.html#HondaY08},
year = 2008
}