TY - BOOK TI - 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE) SN - 978-1-728 PY - 2019/// PB - IEEE KW - Computing and Processing KW - Engineering Profession N1 - Proceeding UR - https://ieeexplore.ieee.org/servlet/opac?punumber=8905921 ER -