Anna Slobodov?
AuthID: R-00H-A4N
1
TÃTULO: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011
AUTORES: Per Bjesse; Anna Slobodová;
PUBLICAÇÃO: 2011, FONTE: FMCAD
AUTORES: Per Bjesse; Anna Slobodová;
PUBLICAÇÃO: 2011, FONTE: FMCAD
INDEXADO EM: 
DBLP
DBLP