%0 Conference Paper %1 conf/date/WalrathVB97 %A Walrath, Jeffrey %A Vemuri, Ranga %A Bradley, W. %B ED&TC %D 1997 %I IEEE Computer Society %K dblp %P 622 %T Performance verification using partial evaluation and interval analysis. %U http://dblp.uni-trier.de/db/conf/date/edtc1997.html#WalrathVB97 %@ 0-8186-7786-4

@inproceedings{conf/date/WalrathVB97, added-at = {2022-05-20T00:00:00.000+0200}, author = {Walrath, Jeffrey and Vemuri, Ranga and Bradley, W.}, biburl = {https://www.bibsonomy.org/bibtex/25928a175296488907f1c3f95b549819f/dblp}, booktitle = {ED&TC}, crossref = {conf/date/1997}, ee = {https://dl.acm.org/doi/10.5555/787260.787742}, interhash = {85f981aff1a20319cc9e4e54a749b104}, intrahash = {5928a175296488907f1c3f95b549819f}, isbn = {0-8186-7786-4}, keywords = {dblp}, pages = 622, publisher = {IEEE Computer Society}, timestamp = {2024-04-09T12:36:28.000+0200}, title = {Performance verification using partial evaluation and interval analysis.}, url = {http://dblp.uni-trier.de/db/conf/date/edtc1997.html#WalrathVB97}, year = 1997 }