Dynamic Logic. New Trends and Applications
Subtitle: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Publisher: Springer
Published: Jan 10, 2018
Format: paperback
Number of pages: 210
ISBN-13: 9783319735788
Notes: Source title: Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings (Lecture Notes in Computer Science (10669))