1.

国際会議録

国際会議録
Broy, Manfred
出版情報: Engineering theories of software intensive systems.  pp.47-82,  2005.  Dordrecht.  Springer
シリーズ名: NATO science series. Series 2, Mathematics, physics and chemistry
シリーズ巻号: 195
2.

国際会議録

国際会議録
Broy, Manfred
出版情報: Models, algebras and logic of engineering software.  pp.1-42,  2003.  Amsterdam.  IOS Press
シリーズ名: NATO science series. Series 3, Computer and systems sciences
シリーズ巻号: 191