resumo
- Publicado em "Theoretical aspects of computing - ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings". ISBN 978-3-319-46749-8
Dynamic Logic with Binders and Its Application to the Development of Reactive Systems
Artigo de Conferência
- Visão geral
- Identidade
- Informação adicional documento
- Ver Todos
Visão geral
autores
data de publicação
- janeiro 1, 2016