© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Engineering Modelling Languages: A Precise Metamodelling Approach
A Clark, A Evans, and S Kent
In H Weber, editor, Fundamental Approaches to Software Engineering, LNCS 2306, pages 182-196, Grenoble, France, April 2002. 5th Int. Conf. FASE 2002 held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002.Bibtex Record
@inproceedings{1599, author = {A Clark and A Evans and S Kent}, title = {{Engineering Modelling Languages: A Precise Metamodelling Approach}}, month = {April}, year = {2002}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2002/1599}, publication_type = {inproceedings}, submission_id = {16997_1048524712}, booktitle = {Fundamental Approaches to Software Engineering }, editor = {H Weber}, series = {LNCS 2306}, address = {Grenoble, France}, organization = {5th Int. Conf. FASE 2002}, }