Formal methods: practical applications and foundations: Editorial

Formal methods: practical applications and foundations: Editorial

Saved in:
Bibliographic Details
Published in:Formal methods in system design pp. 1 - 4
Main Authors: Ter Beek, Maurice H, McIver, Annabelle
Format: Journal Article
Language:English
Published: United States Springer US 25-01-2022
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Bibliography:SourceType-Other Sources-1
content type line 63
ObjectType-Editorial-2
ObjectType-Commentary-1
ISSN:0925-9856
1572-8102
DOI:10.1007/s10703-022-00388-6