DaLí - Dynamic Logic, new trends and applications

Saved in:

Bibliographic Details
Published in	Journal of logical and algebraic methods in programming Vol. 111; p. 100514
Main Authors	Benevides, Mario R.F., Madeira, Alexandre
Format	Journal Article
Language	English
Published	Elsevier Inc 01.02.2020
Online Access	Get full text

Loading…

More Information
ISSN:	2352-2208
DOI:	10.1016/j.jlamp.2019.100514