Skip to main content

About

Overview Research Leadership Newsroom

Community

Overview Blog Essential Cardano Catalyst

Careers Contact

English

IOHK |

Library

About
Library
Research Topics

Library > Matthias Güdemann

Matthias Güdemann

Flexible Formality: Practical Experience with Agile Formal Methods

Philipp Kant,Kevin Hammond,Duncan Coutts,James Chapman,Nicholas Clarke,Jared Corduan,Neil Davies,Javier Roberto Diaz,Matthias Güdemann,Wolfgang Jeltsch,Marcin Szamotulski,Polina Vinogradova

August/2020, TFP '20 (LNCS)

Products

Cardano
Daedalus
Identus
Lace
Catalyst
Marlowe
Plutus

Media

Newsroom
Media Assets

Courses

Plutus Pioneers
IOG Academy

Legal

Privacy Policy
Terms & Conditions

Social

X
Facebook
GitHub
LinkedIn
YouTube
TikTok
Instagram