伸 佐原

@shinsahara

rss_feed

形式仕様記述言語VDM++を使って、"Software Requirements Analysis and Specification Techniques"を教えています。