Leveraging Light-weight Formal Methods with Functional Programming Approach on Cloud.

Shigeru Kusakabe, Yoichi Omori, Keijiro Araki

Browse the full ICSoft paper archive.