Login / Signup

Flexible Formality Practical Experience with Agile Formal Methods.

Philipp KantKevin HammondDuncan CouttsJames ChapmanNicholas ClarkeJared CorduanNeil DaviesJavier DíazMatthias GüdemannWolfgang JeltschMarcin SzamotulskiPolina Vinogradova
Published in: TFP (2020)
Keyphrases