adenilso simao Adenilso Simao's Documents - EPDF.PUB

Adenilso Simao's Documents

Adenilso Simao's Documents

Formal Methods: Foundations and Applications - SBMF 2011

Formal Methods: Foundations and Applications - SBMF 2011
Read more
Testing Software and Systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings (Lecture Notes in ... Programming and Software Engineering)

Testing Software and Systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings (Lecture Notes in ... Programming and Software Engineering)
Read more
Formal Methods: Foundations and Applications, 13th Brazilian Symposium on Formal Methods, SBMF 2010 Natal, Brazil, November 8-11, 2010

Formal Methods: Foundations and Applications, 13th Brazilian Symposium on Formal Methods, SBMF 2010 Natal, Brazil, November 8-11, 2010
Read more
Formal Methods, Foundations and Applications, 14 conf., SBMF 2011

Formal Methods, Foundations and Applications, 14 conf., SBMF 2011
Read more
Formal methods: foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers

Formal methods: foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers
Read more