Recursive schema definitions in Object-Z

Smith, G. P. (2000). Recursive schema definitions in Object-Z. In: J. P. owen, S. Dunne, A. Galloway and S. King, Lecture notes in computer science: ZB 2000 - Formal Specification and Development in Z and B. International Conference of B and Z Users (ZB 2000), York, UK, (42-58). 29 August - 2 September 2000.

Author Smith, G. P.
Title of paper Recursive schema definitions in Object-Z
Conference name International Conference of B and Z Users (ZB 2000)
Conference location York, UK
Conference dates 29 August - 2 September 2000
Proceedings title Lecture notes in computer science: ZB 2000 - Formal Specification and Development in Z and B
Journal name Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Place of Publication Berlin
Publisher Springer Verlag
Publication Year 2000
Sub-type Fully published paper
ISBN 3540679448
9783540679448
ISSN 1611-3349
Editor J. P. owen
S. Dunne
A. Galloway
S. King
Volume 1878
Start page 42
End page 58
Total pages 17
Collection year 2000
Language eng
Subjects E1
280302 Software Engineering
780101 Mathematical sciences
Q-Index Code E1

 
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Fri, 06 Jun 2008, 13:55:18 EST