Re: Lecture this thursday

From: davcem <davcem ***AT***>
Date: Wed, 16 Nov 2016 13:52:16 +0100
Subject: Re: Lecture this thursday
Organization: Technische Universitaet Graz
Message-id: <>
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.4.0
References: <o0fesh$81q$> <>
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.

Dear Ayrat!

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

Yours sincerely, David