https://speakerdeck.com/hirokitachiyama 2018-01-27 09:54:52 -0500 I Presented on The 15th Overture Workshop in Newcastle Univ., UK. I Presented on The 15th Overture Workshop in Newcastle Univ., UK. Fri, 15 Sep 2017 00:00:00 -0400 https://speakerdeck.com/hirokitachiyama/automated-generation-of-decision-table-and-boundary-values-from-vdm-plus-plus-specification https://speakerdeck.com/hirokitachiyama/automated-generation-of-decision-table-and-boundary-values-from-vdm-plus-plus-specification