Automated formal specification generatio
โ
Gustavo Cabral; Augusto Sampaio
๐
Article
๐
2008
๐
SciELO
๐
English
โ 486 KB