Evolving Algebras: Tools for Specification and Verification

Research output: Contribution to conferencePresentation

Original languageAmerican English
StatePublished - Aug 7 1994
Event1994 European Summer School on Logic, Language, and Information - Copenhagen, Denmark
Duration: Aug 7 1994 → …

Conference

Conference1994 European Summer School on Logic, Language, and Information
Period8/7/94 → …

Disciplines

  • Computer Sciences

Cite this