T. Wahls
AuthID: R-006-V44
1
TITLE: Translating B machines to JML specifications
AUTHORS: Catano, N ; Wahls, T; Rueda, C; Rivera, V; Yu, D;
PUBLISHED: 2012, SOURCE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing
AUTHORS: Catano, N ; Wahls, T; Rueda, C; Rivera, V; Yu, D;
PUBLISHED: 2012, SOURCE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing
INDEXED IN: 
Scopus
Scopus