Enriching OCL using observational mu-calculus

Research output: Contribution to conference › Paper › peer-review

Cite this

@conference{82197f171cb64e4e8a34f40b694254c5,

title = "Enriching OCL using observational mu-calculus",

author = "J Bradfield and Bowles, \{Juliana Kuster Filipe\} and P Stevens",

note = "Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, Grenoble",

year = "2002",

month = apr,

language = "English",

pages = "15",

}

TY - CONF

T1 - Enriching OCL using observational mu-calculus

AU - Bradfield, J

AU - Bowles, Juliana Kuster Filipe

AU - Stevens, P

N1 - Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, Grenoble

PY - 2002/4

Y1 - 2002/4

UR - http://www.springerlink.com/content/7rnwgjmg3f4kqtx9/?p=e944b6f8756d41af9e9a24fabd2b7730&pi=13

UR - https://www.scopus.com/pages/publications/84958740966

M3 - Paper

SP - 15

ER -