"Proceedings of the Brazilian Symposium on Formal Methods, SBMF 2006, ..."

Anamaria Martins Moreira, Leila Ribeiro (2008)

Details and statistics

DOI:

access: closed

type: Editorship

metadata version: 2023-02-09