@misc{RISC2217,
author = {B. Buchberger},
title = {{The Objective of the Institute e-Austria and the Role of the Scientific Project. Practical and Theoretical Asptects of Program Verification}},
language = {english},
year = {2003},
month = {February 12},
annote = {2003-02-12-B},
note = {Contributed talk at Computer-Aided Verification of Information Systems: A Practical, Industry-Oriented Approach, Romanian-Austrian Workshop, organized by the Institute e-Austria Timisoara, West University, Timisoara},
conferencename = {Computer-Aided Verification of Information Systems: A Practical, Industry-Oriented Approach, Romanian-Austrian Workshop, organized by the Institute e-Austria Timisoara, West University, Timisoara}
}