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 CliffJones-His
%A Jones, Cliff B.
%D 2003
%J IEEE, Annals of the History of Computing
%K imported
%N 2
%P 26-49
%T The Early Search for Tractable Ways of Reasonning about Programs
%U /brokenurl#http://doi.ieeecomputersociety.org/10.1109/MAHC.2003.1203057
%V 25
@article{CliffJones-His,
added-at = {2010-08-25T08:47:38.000+0200},
author = {Jones, Cliff B.},
biburl = {https://www.bibsonomy.org/bibtex/29adca146cb5dc13923de03409e5feff2/miguel.pagano},
interhash = {f5c1d8c2cbdfa9b876377b131ad5db43},
intrahash = {9adca146cb5dc13923de03409e5feff2},
journal = {{IEEE, Annals of the History of Computing}},
keywords = {imported},
local-url = {{file://localhost/Users/ncbj/Documents/CBJ-pubs/Papers/Jones03i.pdf}},
number = {{2}},
pages = {26-49},
timestamp = {2010-08-25T08:47:45.000+0200},
title = {{The Early Search for Tractable Ways of Reasonning about Programs}},
url = {/brokenurl#{http://doi.ieeecomputersociety.org/10.1109/MAHC.2003.1203057}},
volume = {{25}},
year = {{2003}}
}