フォーマルアプローチの基本技術習得のための学習支援システムの試作
ソフトウェアエンジニアリング最前線2009, pp.69-74 (2009)
タグ: e-Learning, Axiom, formal, proof
@inproceedings{宮澤清介2009,
author = {宮澤 清介 and 岡野 浩三 and 楠本 真二},
title = {フォーマルアプローチの基本技術習得のための学習支援システムの試作},
booktitle = {ソフトウェアエンジニアリング最前線2009},
pages = {69--74},
year = {2009},
month = {sep}
}