TY - BOOK AU - Liu Zhiming Et Al TI - Mathematical Frameworks for Component Software: Models for Analysis and Synthesis SN - 9789812772831 PB - World Scientific KW - Computer Science UR - https://www.worldscientific.com/worldscibooks/10.1142/6231#t=toc ER -