Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:Enriching OCL using observational mu-calculus
Authors: Julian Bradfield ; Juliana Bowles ; Perdita Stevens
Date:Apr 2002
Publication Title:Proceedings of FASE 2002 (Fundamental Approaches to Software Engineering)
Publication Type:Other Publication Status:Published
Volume No:2306 Page Nos:203-217
Links To Paper
No links available
Bibtex format
author = { Julian Bradfield and Juliana Bowles and Perdita Stevens },
title = {Enriching OCL using observational mu-calculus},
publisher = {Springer},
year = 2002,
month = {Apr},
volume = {2306},
pages = {203-217},
note = {Proceedings of FASE 2002 (Fundamental Approaches to Software Engineering)},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh