Time Analysis, Cost Equivalence and Program Refinement. Sands, D. In Proceedings of the Eleventh Conference on Foundations of Software Technology and Theoretical Computer Science, of Lecture Notes in Computer Science, pages 25--39, December, 1991. Springer-Verlag. See i̧teSands:JLC for a much extended and revised version.bibtex @INPROCEEDINGS{Sands:FSTandTCS,
author = {David Sands},
title = {Time Analysis, Cost Equivalence and Program Refinement},
booktitle = {Proceedings of the Eleventh Conference on Foundations
of Software Technology and Theoretical Computer Science},
year = {1991},
pages = {25--39},
publisher = {Springer-Verlag},
number = {560},
series = {Lecture Notes in Computer Science},
month = {December},
note = {See \cite{Sands:JLC} for a much extended and revised version.},
}
Downloads: 0
{"_id":"TCPaDdexpjBBjbTFi","bibbaseid":"sands-timeanalysiscostequivalenceandprogramrefinement-1991","downloads":0,"creationDate":"2017-02-03T08:24:26.853Z","title":"Time Analysis, Cost Equivalence and Program Refinement","author_short":["Sands, D."],"year":1991,"bibtype":"inproceedings","biburl":"http://www.cse.chalmers.se/~dave/davewww2016.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["David"],"propositions":[],"lastnames":["Sands"],"suffixes":[]}],"title":"Time Analysis, Cost Equivalence and Program Refinement","booktitle":"Proceedings of the Eleventh Conference on Foundations of Software Technology and Theoretical Computer Science","year":"1991","pages":"25--39","publisher":"Springer-Verlag","number":"560","series":"Lecture Notes in Computer Science","month":"December","note":"See i̧teSands:JLC for a much extended and revised version.","bibtex":"@INPROCEEDINGS{Sands:FSTandTCS,\n author = {David Sands},\n title = {Time Analysis, Cost Equivalence and Program Refinement},\n booktitle = {Proceedings of the Eleventh Conference on Foundations\n of Software Technology and Theoretical Computer Science},\n year = {1991},\n pages = {25--39},\n publisher = {Springer-Verlag},\n number = {560},\n series = {Lecture Notes in Computer Science},\n month = {December},\n note = {See \\cite{Sands:JLC} for a much extended and revised version.},\n}\n","author_short":["Sands, D."],"key":"Sands:FSTandTCS","id":"Sands:FSTandTCS","bibbaseid":"sands-timeanalysiscostequivalenceandprogramrefinement-1991","role":"author","urls":{},"downloads":0},"search_terms":["time","analysis","cost","equivalence","program","refinement","sands"],"keywords":[],"authorIDs":["58943e3a2f18920f4c000022"],"dataSources":["SBHWXKotbthoEYKJv"]}