A formalization of evolving algebras

R Groenboom, Gerard Renardel de Lavalette, S. Fischer (Editor), M. Trautwein (Editor)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Cite this

@inproceedings{7d3e762939844063ade2c0318e6b5a4a,

title = "A formalization of evolving algebras",

author = "R Groenboom and {Renardel de Lavalette}, Gerard and S. Fischer and M. Trautwein",

year = "1995",

language = "English",

isbn = "90-74795-31-5",

pages = "17--28",

booktitle = "Proceedings Accolade '95",

publisher = "University of Amsterdam",

}