Metadata only
Author
Date
2003Type
- Conference Paper
Publication status
publishedExternal links
Book title
ZB 2003: formal specification and development in Z and BJournal / series
Lecture Notes in Computer ScienceVolume
Pages / Article No.
Publisher
SpringerEvent
More
Show all metadata