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

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Huisman, Marieke, Gurov, Dilian, Malkis, Alexander
Format: Preprint
Published: 2020
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!