Kleber S. Xavier

2008
2	EE	Ana Cristina Vieira de Melo, Paulo R. F. Nunes, Kleber S. Xavier: Towards verification and testing of Java programs. SAC 2008: 730-734
1	EE	Kleber S. Xavier, Simone Hanazumi, Ana Cristina Vieira de Melo: Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs. SEFM 2008: 181-190

Coauthor Index

1	Simone Hanazumi	[1]
2	Ana Cristina Vieira de Melo	[1] [2]
3	Paulo R. F. Nunes	[2]