?url_ver=Z39.88-2004&rft_id=CS-TR-1210&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=Ideas+for+a+high-level+proof+strategy+language&rft.creator=Jones%2C+Cliff+B.&rft.creator=Grov%2C+Gudmund&rft.creator=Bundy%2C+Alan&rft.subject=Proof+and+model+checking&rft.publisher=School+of+Computing+Science%2C+Newcastle+University&rft.date=2010&rft.type=Monograph&rft.type=NonPeerReviewed&rft.format=application%2Fpdf&rft.identifier=http%3A%2F%2Fdeploy-eprints.ecs.soton.ac.uk%2F280%2F1%2F1210.pdf&rft.relation=http%3A%2F%2Fwww.cs.ncl.ac.uk%2Fpublications%2Ftrs%2Fpapers%2F1210.pdf&rft.identifier=++Jones%2C+Cliff+B.+and+Grov%2C+Gudmund+and+Bundy%2C+Alan++(2010)+Ideas+for+a+high-level+proof+strategy+language.++Technical+Report.+School+of+Computing+Science%2C+Newcastle+University.+++++&rft.relation=http%3A%2F%2Fdeploy-eprints.ecs.soton.ac.uk%2F280%2F<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>