Screen LibraryModel checking software : 28th International Symposium, SPIN 2022, virtual event, May 21, 2022, proceedings /
Saved in:
| Corporate Authors: | |
|---|---|
| Group Author: | ; |
| Published: |
Springer,
|
| Publisher Address: | Cham : |
| Publication Dates: | [2022] |
| Literature type: | Book |
| Language: | English |
| Series: |
Lecture notes in computer science,
13255 |
| Subjects: | |
| Carrier Form: | viii, 151 pages : illustrations, forms ; 24 cm. |
| Bibliography: | Includes bibliographical references and author index. |
| ISBN: |
9783031150760 3031150767 |
| CLC: | TP311.5-532 |
| Call Number: | TP311.5-532/I617-1/2022 |