pith. sign in

Tom\'a\v{s} Kratochv\'ila

Identifiers

  • name variant Tom\'a\v{s} Kratochv\'ila 0.60 · backfill

Papers (1)

  1. Analysing Sanity of Requirements for Avionics Systems (Preliminary Version) cs.SE · 2015 · author #6

Mentions

  • 1510.02669 #6 · backfill · confidence 0.70 Tom\'a\v{s} Kratochv\'ila

Frequent Coauthors