About this scholarly article

Proceedings of the 6th International Conference on Software and Computer Applications - ICSCA '17 - Modularization of formal specifications or efficient synthesis of reactive systems by Shimakawa, Masaya; Osari, Kenji; Hagihara, Shigeki; Yonezaki, Naoki is a scholarly article available to read on EtoBox.

Author

Shimakawa, Masaya; Osari, Kenji; Hagihara, Shigeki; Yonezaki, Naoki

Publisher

ACM Press

Published

2017