Software engineering and formal methods : 19th International Conference, SEFM 2021, virtual event, December 6-10, 2021, proceedings
Author(s)
Bibliographic Information
Software engineering and formal methods : 19th International Conference, SEFM 2021, virtual event, December 6-10, 2021, proceedings
(Lecture notes in computer science, 13085 . Formal methods . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues)
Springer, c2021
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and author index