Formal Methods: From Academia to Industrial Practice: A Travel Guide

Marieke Huisman, Dilian Gurov, Alexander Malkis

Research output: Working paper

1315 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Formal Methods: From Academia to Industrial Practice: A Travel Guide'. Together they form a unique fingerprint.

Earth & Environmental Sciences