Formal Methods and Software Engineering

Saved in:
Bibliographic Details
Main Author: Ogata, Kazuhiro
Other Authors: Mery, Dominique, Sun, Meng, Liu, Shaoying
Format: eBook
Language:English
Published: Springer Nature, 2024.
Subjects:
Online Access:Access eBook
Tags: Add Tag
No Tags, Be the first to tag this record!