Anna Slobodov?
AuthID: R-00H-A4N
1
TITLE: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011
AUTHORS: Per Bjesse; Anna Slobodová;
PUBLISHED: 2011, SOURCE: FMCAD
AUTHORS: Per Bjesse; Anna Slobodová;
PUBLISHED: 2011, SOURCE: FMCAD
INDEXED IN: 
DBLP
DBLP