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
 

Publications Publikationen

Filter:
Subject:  Logic of Information

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Cignarale, Giorgio ; Primiero, Giuseppe A Multi-Agent Depth Bounded Boolean LogicKonferenzbeitrag Inproceedings 2020