ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings

Conference proceeding

ZB, Vol.3455

2005

Metrics

39 Record Views

Title: ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings
Contributors: H Treharne
S King
MC Henson
SA Schneider
Springer (Publisher)
Publication Details: ZB, Vol.3455
Date published: 2005
Date submitted: 17/05/2017
Identifiers: 99513860402346
Academic Unit: University of Surrey; School of Computer Science and Electronic Engineering
Resource Type: Conference proceeding