%0 Conference Paper %1 journals/entcs/AspinallBM07 %A Aspinall, David %A Beringer, Lennart %A Momigliano, Alberto %B COCV@ETAPS %D 2006 %E Knoop, Jens %E Necula, George C. %E Zimmermann, Wolf %I Elsevier %K dblp %N 3 %P 37-59 %T Optimisation Validation. %U http://dblp.uni-trier.de/db/conf/cocv/cocv2006.html#AspinallBM07 %V 176

@inproceedings{journals/entcs/AspinallBM07, added-at = {2023-01-31T00:00:00.000+0100}, author = {Aspinall, David and Beringer, Lennart and Momigliano, Alberto}, biburl = {https://www.bibsonomy.org/bibtex/2a1b14c87ea0d78185a109396b281cb28/dblp}, booktitle = {COCV@ETAPS}, crossref = {conf/cocv/2006}, editor = {Knoop, Jens and Necula, George C. and Zimmermann, Wolf}, ee = {https://doi.org/10.1016/j.entcs.2006.06.017}, interhash = {608e60408e6fa1e31d69f33553cfba88}, intrahash = {a1b14c87ea0d78185a109396b281cb28}, keywords = {dblp}, number = 3, pages = {37-59}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T17:09:10.000+0200}, title = {Optimisation Validation.}, url = {http://dblp.uni-trier.de/db/conf/cocv/cocv2006.html#AspinallBM07}, volume = 176, year = 2006 }