Modular Programming and Reasoning for Living with Uncertainty

Naoyasu Ubayashi, Yasutaka Kamei, Ryosuke Sato. Modular Programming and Reasoning for Living with Uncertainty. In Marten van Sinderen, Leszek A. Maciaszek, editors, Software Technologies - 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers. Volume 1077 of Communications in Computer and Information Science, pages 220-244, Springer, 2018. [doi]

Authors

Naoyasu Ubayashi

This author has not been identified. Look up 'Naoyasu Ubayashi' in Google

Yasutaka Kamei

This author has not been identified. Look up 'Yasutaka Kamei' in Google

Ryosuke Sato

This author has not been identified. Look up 'Ryosuke Sato' in Google