author = {Wolfgang Schreiner},
title = {{Program Reasoning Based on a Relational Semantics of Programs (Extended Abstract)}},
booktitle = {{Specification and Verification of Hybrid Systems, Proceedings of the First International Seminar}},
language = {english},
pages = {64--69},
publisher = {Taras Shevchenko National University of Kyiv and Paul Sabatier University of Tolouse},
address = {October 10-12, 2011, Kyiv, Ukraine},
isbn_issn = {ISBN 0000},
year = {2011},
editor = {Louis Feraud and Ievgen Ivanov and Mykola Nikitchenko and Martin Strecker},
refereed = {no},
length = {6}