On the Generation of DisCo Specifications from Functional Requirements
Nummenmaa, Jyrki; Zhang, Zheying; Nummenmaa, Timo; Berki, Eleni; Guo, Jianmei; Wang, Yinglin (2010)
Tampereen yliopisto
2010
This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.