Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Ei Darli Aung"'
Publikováno v:
ECOOP 2010 – Object-Oriented Programming ISBN: 9783642141065
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2f43e691572c58bea110e3c740c9d10a
https://doi.org/10.1007/978-3-642-14107-2_26
https://doi.org/10.1007/978-3-642-14107-2_26
Autor:
Armin Biere, David Parker
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Par