入山山
provides software solution in favor of formal methods!
We are a development team located in Taiwan; and, focus on providing software development service and enabling IoT solution for remote and globol requirement.
We specialize in solving problem with formal methods and functional programming.