59:32

IOHK | Philipp Kant, Director of Formal Methods.

Input Output

4:56

IOHK | Prof. Grigore Rosu | Inspirations Behind The K framework

Input Output

1:28:03

IOHK | Formal Design, Implementation and Verification - Prof. Grigore Rosu

Input Output

22:08

IOHK | Prof. Grigore Rosu - CEO of Runtime Verification | K framework and Cardano

Input Output