|
|||
|
|||
|
|
||
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) | |||
Publisher:Springer | |||
Publication Type:Other Publication Status:Published | |||
Volume No:2306 Page Nos:203-217 | |||
|
Please mail <reports@inf.ed.ac.uk> with any
changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh |