HIGO LAB
Detail
Title
SPINを用いたウェブアプリケーションにおける階層別モデル検査支援方法
Authors
浜口 優, 吉村 顕, 岡野 浩三, 楠本 真二
Bibliography
電子情報通信学会技術研究報告, SS2006-30, Vol.106, No.202, pp.29-34
Type
Domestic Conference
Date
August 4,
Review
Reviewed
Presenters
浜口 優
Conference Schedule
From August 3-4,
Conference Venue
北海道大学工学部M棟
Registration Date
August 8,
Notes
Number
595
DOI
ISBN
ISSN
Society Name
電子情報通信学会
Files
BibTeX
@inproceedings{sel595,
author = {浜口 優 and 吉村 顕 and 岡野 浩三 and 楠本 真二},
title = {{SPINを用いたウェブアプリケーションにおける階層別モデル検査支援方法}},
booktitle = {電子情報通信学会技術研究報告, SS2006-30, Vol.106, No.202, pp.29-34},
address = {北海道大学工学部M棟},
year = 2006,
month = aug,
}