Verification, model checking, and abstract interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, proceedings /
Saved in:
Corporate Authors: | |
---|---|
Group Author: | ; |
Published: |
Springer,
|
Publisher Address: | Cham, Switzerland : |
Publication Dates: | [2022] |
Literature type: | Book |
Language: | English |
Series: |
Lecture notes in computer science,
13182 ARCoSS LNCS Sublibrary. |
Subjects: | |
Carrier Form: | x, 520 pages : illustrations ; 24 cm. |
Bibliography: | Includes bibliographical references and index. |
ISBN: |
9783030945824 3030945820 |
CLC: | TP311.1-532 |
Call Number: | TP311.1-532/V516/2022 |