Hiding more of hidden algebra

Joseph Goguen, Grigore Roşu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationFM 1999 - Formal Methods - World Congress on Formal Methods in the Development of Computing Systems, Proceedings
EditorsJeannette M. Wing, Jim Woodcock, Jim Davies
PublisherSpringer-Verlag Berlin Heidelberg
Pages1704-1719
Number of pages16
ISBN (Print)3540665889, 9783540665885
DOIs
StatePublished - Jan 1 1999
Externally publishedYes
Event1st World Congress on Formal Methods in the Development of Computing Systems, FM 1999 - Toulouse, France
Duration: Aug 20 1999Aug 24 1999

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1709
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other1st World Congress on Formal Methods in the Development of Computing Systems, FM 1999
CountryFrance
CityToulouse
Period8/20/998/24/99

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this