Publications

Translating B Machines to Jml Specifications

AuthID
P-008-4S7

Author(s)

Catano, N

Wahls, T

Rueda, C

Rivera, V

Yu, D

Document Type

Proceedings Paper

Year published

2012

Published

in Proceedings of the ACM Symposium on Applied Computing

Pages: 1271-1277

Conference

27Th Annual Acm Symposium on Applied Computing, Sac 2012, Date: 26 March 2012 through 30 March 2012, Location: Trento, Sponsors: ACM Special Interest Group on Applied Computing (SIGAPP);Provincia Autonoma di Trento;Riva del Garda Congressi;COSBI

Indexing