T. Wahls
AuthID: R-006-V44
1
TÃTULO: Translating B machines to JML specifications
AUTORES: Catano, N ; Wahls, T; Rueda, C; Rivera, V; Yu, D;
PUBLICAÇÃO: 2012, FONTE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing
AUTORES: Catano, N ; Wahls, T; Rueda, C; Rivera, V; Yu, D;
PUBLICAÇÃO: 2012, FONTE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing
INDEXADO EM: 
Scopus
Scopus