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

Shigeru Kusakabe Yoichi Omori Keijiro Araki Leveraging Light-weight Formal Methods with Functional Programming Approach on Cloud. 264-268 2009 ICSOFT (1) conf/icsoft/2009-1 db/conf/icsoft/icsoft2009-1.html#KusakabeOA09