|
|||
|
|||
|
|
||
| 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 |
|