[IEEE 2011 25th Brazilian Symposium on Software Engineering (SBES) - Sao Paulo, Brazil (2011.09.28-2011.09.30)] 2011 25th Brazilian Symposium on Software Engineering - Formal Methods at SBES: Evolution and Perspectives
Nunes, Daltro Jose, Moreira, Alvaro, Ribeiro, LeilaYear:
2011
DOI:
10.1109/SBES.2011.29
File:
PDF, 82 KB
2011