VERISURE 2014 PROCEEDINGS: EDITOR'S PREFACE
This version is just a test
This volume contains the papers presented at VeriSure 2014: Second VeriSure Workshop held on July 22, 2014 in Vienna.
You can write the history of your conference here.
Write any acknowledgments ...
Do not forget to mention your sponsors!
We appreciate some words about the use of EasyChair but it is not necessary.
John Rushby
June 10, 2014
Menlo Park
Menlo Park