Skip to main navigation Skip to search Skip to main content

Verified software: Theories, tools and experiments

  • University of Oxford
  • University of Potsdam

Research output: Contribution to journal › Editorial

Fingerprint

Dive into the research topics of 'Verified software: Theories, tools and experiments'. Together they form a unique fingerprint.
Sort by

Computer Science