Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops
Book title Buchtitel
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops
Series Schriftenreihe
Lecture Notes in Computer Science
Date issued
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Cignarale, Giorgio ; Primiero, Giuseppe | A Multi-Agent Depth Bounded Boolean Logic | Konferenzbeitrag Inproceedings  | 2020 |