その他のタイトル2012 6th international symposium on theoretical aspects of software engineering : (TASE 2012) : Beijing, China : 4-6 July 2012.
一般注記Papers.
"TASE is a series of annual conferences (...)" -- pref.
IEEE cat no CFP12TAS-PRT.
書誌注記Includes bibliographical references and author index.
一次資料へのリンクURL
Full text available from IEEE/IET Electronic Library (IEL) Proceedings By Volume (Connect to full text.)