author = { Xiao, Lili AND Zhu, Huibiao },

title = { Dependable Software Engineering. Theories, Tools, and Applications: Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture Based on UTP },

publisher = {Springer International Publishing},

isbn = {0302-9743},

isbn = {1611-3349},

year = {2021},

url = { http://slubdd.de/katalog?TN_libero_mab2 }