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
Tools
(2005) 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
Full text not available from this repository.Item Type: | Conference or Workshop Item (UNSPECIFIED) | ||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Divisions : | Surrey research (other units) | ||||||||||||||||||||||||
Date : | 2005 | ||||||||||||||||||||||||
Contributors : |
|
||||||||||||||||||||||||
Depositing User : | Symplectic Elements | ||||||||||||||||||||||||
Date Deposited : | 17 May 2017 11:30 | ||||||||||||||||||||||||
Last Modified : | 23 Jan 2020 16:55 | ||||||||||||||||||||||||
URI: | http://epubs.surrey.ac.uk/id/eprint/831631 |
Actions (login required)
![]() |
View Item |
Downloads
Downloads per month over past year