儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
作者 (1-2 之 2)
Simao, Adenilso
1
book jacket

Formal methods foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers
Brazilian Symposium on Formal Methods (13th : 2010 : Natal, Brazil)
Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
2011
電子書

館藏地: 中央研究院
2
book jacket

Testing software and systems 22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 : proceedings
ICTSS 2010 (2010 : Natal, Brazil)
Berlin, Heidelberg : IFIP International Federation for Information Processing, 2010
2010
電子書

館藏地: 中央研究院
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄