author = {B. Buchberger},
title = {{The Institute e-Austria: Objectives and a Model Project on Program Verification}},
language = {english},
year = {2003},
month = {February 12},
annote = {2003-02-12-A},
note = {Contributed talk at Computer-Aided Verification of Information Systems: A Practical, Industry-Oriented Approach, organized by the Institute e-Austria Timisoara, Universitatea de Vest, Timisoara, Romania},
conferencename = {Computer-Aided Verification of Information Systems: A Practical, Industry-Oriented Approach, organized by the Institute e-Austria Timisoara, Universitatea de Vest, Timisoara, Romania}