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

Radu Calinescu, Corina S. Păsăreanu (eds.)

(Lecture notes in computer science, 13085 . Formal methods . LNCS sublibrary ; SL 1 . Theoretical computer science and general issues)

Springer, c2021

Available at  / 1 libraries

Search this Book/Journal

Note

Includes bibliographical references and author index

Related Books: 1-1 of 1

Details

Page Top