Murray, D. M.; Donner, A. and Klar, N. (systematic formalization)

この著者に帰属する手法。 1件の手法