Zobrazeno 1 - 3
of 3
pro vyhledávání: '"82-97"'
Autor:
Shuvendu K. Lahiri, Chao Wang
This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018.The 27 full papers presented together with 5 short paper
Autor:
Alexandre Madeira, Mário Benevides
This book constitutes the proceedings of the First International Workshop on Dynamic Logic, DALI 2017, held in Brasilia, Brazil, in September 2017. Both its theoretical relevance and practical potential make Dynamic Logic a topic of interest in a num
Autor:
Ranjit Jhala, Atsushi Igarashi
This book constitutes the refereed proceedings of the 10th Asian Symposium on Programming Languages and Systems, APLAS 2012, held in Kyoto, Japan, in December 2012. The 24 revised full papers presented together with the abstracts of 3 invited talks w