Towards the completion of the formal semantics of OCL 2.0
S. Flake. CRPIT '04: Proceedings of the 27th conference on Australasian computer science, page 73--82. Darlinghurst, Australia, Australia, Australian Computer Society, Inc., (2004)
%0 Conference Paper
%1 flake_04_towards
%A Flake, Stephan
%B CRPIT '04: Proceedings of the 27th conference on Australasian computer science
%C Darlinghurst, Australia, Australia
%D 2004
%I Australian Computer Society, Inc.
%K 2004 statecharts ocl uml20
%P 73--82
%T Towards the completion of the formal semantics of OCL 2.0
%U http://portal.acm.org/citation.cfm?id=979932
@inproceedings{flake_04_towards,
added-at = {2009-02-11T22:25:35.000+0100},
address = {Darlinghurst, Australia, Australia},
author = {Flake, Stephan},
biburl = {https://www.bibsonomy.org/bibtex/2321efc95b289f3ad76a40b6b941ec9c9/leonardo},
booktitle = {CRPIT '04: Proceedings of the 27th conference on Australasian computer science},
citeulike-article-id = {573576},
interhash = {bff7e5bd170009813ce4c1857c934704},
intrahash = {321efc95b289f3ad76a40b6b941ec9c9},
keywords = {2004 statecharts ocl uml20},
pages = {73--82},
posted-at = {2006-04-03 03:00:53},
priority = {3},
publisher = {Australian Computer Society, Inc.},
timestamp = {2009-02-11T22:25:35.000+0100},
title = {Towards the completion of the formal semantics of OCL 2.0},
url = {http://portal.acm.org/citation.cfm?id=979932},
year = 2004
}