Formal methods: practical applications and foundations

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Formal methods in system design 2021-01, Vol.58 (1-2), p.1-4
Hauptverfasser:	ter Beek Maurice H, McIver Annabelle
Format:	Artikel
Sprache:	eng
Schlagworte:	Formal method
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!