Simao, Adenilso.

概要

作品:	4 作品在 2 項出版品 1 種語言

書目資訊

Formal methods, foundations and applications14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30, 2011 : revised selected papers / by: (1998 :); Morgan, Carroll.; Simao, Adenilso.; SpringerLink (Online service) (書目-電子資源)

Theoretical aspects of computing - ICTAC 202017th International Colloquium, Macau, China, November 30 - December 4, 2020 : proceedings / by: (1998 :); Pun, Violet Ka I.; Simao, Adenilso.; SpringerLink (Online service); Stolz, Volker. (書目-電子資源)

Formal methodsfoundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers / by: (1998 :); Davies, Jim.; Silva, Leila.; Simao, Adenilso.; SpringerLink (Online service) (書目-電子資源)

Testing software and systems22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 : proceedings / by: (1998 :); Maldonado, Jose Carlos.; Petrenko, Alexandre.; Simao, Adenilso.; SpringerLink (Online service) (書目-電子資源)

主題