Ichiro Hasuo. Metamathematics for Systems Design - Comprehensive Transfer of Formal Methods Techniques to Cyber-Physical Systems. New Generation Comput., 35(3):271-305, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.