Preface: Advances in Formal Methods for Autonomous Systems

Saved in:

Bibliographic Details
Published in:	Science of computer programming p. 103413
Main Authors:	Luckcuck, Matt, Farrell, Marie, Gleirscher, Mario, Schwammberger, Maike
Format:	Journal Article
Language:	English
Published:	01.11.2025
ISSN:	0167-6423
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
ISSN:	0167-6423
DOI:	10.1016/j.scico.2025.103413