Kalender

Jakob Nordström: Verifying a fault-tolerant distributed aggregation protocol with the Coq proof assistant

22 jan

Seminarium, Övrigt

tisdag 2013-01-22, 12.10 - 13.00

Plats: Room 1537, Osquars backe 2, 5th floor, KTH

2013-01-22T12:10:00.883+01:00 2013-01-22T13:00:00.883+01:00 Jakob Nordström: Verifying a fault-tolerant distributed aggregation protocol with the Coq proof assistant (Seminarium, Övrigt) Room 1537, Osquars backe 2, 5th floor, KTH (KTH, Stockholm, Sweden)Jakob Nordström: Verifying a fault-tolerant distributed aggregation protocol with the Coq proof assistant (Seminarium, Övrigt)