Correctness by Construction: Lecture today - cbc - software.imdea.org

List overview All Threads
Download

Correctness by Construction: Lecture today

Plans for the rest of the term

Lecture today @ 3pm!

Manuel

22 Apr 2020 22 Apr '20

7:32 p.m.

3pm to 6pm, as usual, at https://zoom.us/j/7911012202

Reply

Show replies by date

1809

Age (days ago)

1809

Last active (days ago)

cbc@software.imdea.org

0 comments

1 participants

tags (0)

participants (1)

Manuel