Re: Lecture this thursday

From: davcem <davcem ***AT***gmx.at>
Date: Wed, 16 Nov 2016 13:52:16 +0100
Subject: Re: Lecture this thursday
Newsgroups: tu-graz.lv.vt
Organization: Technische Universitaet Graz
Message-id: <73188ced-60d2-9e5b-6963-207ab3e23234@gmx.at>
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.4.0
References: <o0fesh$81q$1@news.tugraz.at> <a33bb5b5-18e3-de81-d695-3bbd8da96e69@iaik.tugraz.at>
On 2016-11-16 12:33, Ayrat wrote:
hi all,

This Thursday in the "Question Hour" we will
do a few more Hoare proofs,
look into Hoare rules for arrays,
and understand Mechanical Prover that you'll implement in the exercise.




cheers,
Ayrat
Dear Ayrat!

Do we start at 15:30 or 17:30?

Yours sincerely, David