Hiding more of hidden algebra

Joseph Goguen; Grigore Roşu

doi:10.1007/3-540-48118-4_40

Hiding more of hidden algebra

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	FM 1999 - Formal Methods - World Congress on Formal Methods in the Development of Computing Systems, Proceedings
Editors	Jeannette M. Wing, Jim Woodcock, Jim Davies
Publisher	Springer
Pages	1704-1719
Number of pages	16
ISBN (Print)	3540665889, 9783540665885
DOIs	https://doi.org/10.1007/3-540-48118-4_40
State	Published - 1999
Externally published	Yes
Event	1st World Congress on Formal Methods in the Development of Computing Systems, FM 1999 - Toulouse, France Duration: Aug 20 1999 → Aug 24 1999

Publication series

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

Other

Other	1st World Congress on Formal Methods in the Development of Computing Systems, FM 1999
Country/Territory	France
City	Toulouse
Period	8/20/99 → 8/24/99

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Online availability

10.1007/3-540-48118-4_40

Library availability

Discover UIUC Full Text

Cite this

Goguen, J., & Roşu, G. (1999). Hiding more of hidden algebra. In J. M. Wing, J. Woodcock, & J. Davies (Eds.), FM 1999 - Formal Methods - World Congress on Formal Methods in the Development of Computing Systems, Proceedings (pp. 1704-1719). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1709). Springer. https://doi.org/10.1007/3-540-48118-4_40

Hiding more of hidden algebra. / Goguen, Joseph; Roşu, Grigore.
FM 1999 - Formal Methods - World Congress on Formal Methods in the Development of Computing Systems, Proceedings. ed. / Jeannette M. Wing; Jim Woodcock; Jim Davies. Springer, 1999. p. 1704-1719 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1709).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Goguen, J & Roşu, G 1999, Hiding more of hidden algebra. in JM Wing, J Woodcock & J Davies (eds), FM 1999 - Formal Methods - World Congress on Formal Methods in the Development of Computing Systems, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1709, Springer, pp. 1704-1719, 1st World Congress on Formal Methods in the Development of Computing Systems, FM 1999, Toulouse, France, 8/20/99. https://doi.org/10.1007/3-540-48118-4_40

Goguen J, Roşu G. Hiding more of hidden algebra. In Wing JM, Woodcock J, Davies J, editors, FM 1999 - Formal Methods - World Congress on Formal Methods in the Development of Computing Systems, Proceedings. Springer. 1999. p. 1704-1719. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-48118-4_40

Goguen, Joseph ; Roşu, Grigore. / Hiding more of hidden algebra. FM 1999 - Formal Methods - World Congress on Formal Methods in the Development of Computing Systems, Proceedings. editor / Jeannette M. Wing ; Jim Woodcock ; Jim Davies. Springer, 1999. pp. 1704-1719 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{c7184c5485ef48fcb9e7ed0a310c432d,

title = "Hiding more of hidden algebra",

author = "Joseph Goguen and Grigore Ro{\c s}u",

year = "1999",

doi = "10.1007/3-540-48118-4_40",

language = "English (US)",

isbn = "3540665889",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "1704--1719",

editor = "Wing, {Jeannette M.} and Jim Woodcock and Jim Davies",

booktitle = "FM 1999 - Formal Methods - World Congress on Formal Methods in the Development of Computing Systems, Proceedings",

address = "Germany",

note = "1st World Congress on Formal Methods in the Development of Computing Systems, FM 1999 ; Conference date: 20-08-1999 Through 24-08-1999",

}

TY - GEN

T1 - Hiding more of hidden algebra

AU - Goguen, Joseph

AU - Roşu, Grigore

PY - 1999

Y1 - 1999

UR - http://www.scopus.com/inward/record.url?scp=84949496605&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84949496605&partnerID=8YFLogxK

U2 - 10.1007/3-540-48118-4_40

DO - 10.1007/3-540-48118-4_40

M3 - Conference contribution

AN - SCOPUS:84949496605

SN - 3540665889

SN - 9783540665885

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 1704

EP - 1719

BT - FM 1999 - Formal Methods - World Congress on Formal Methods in the Development of Computing Systems, Proceedings

A2 - Wing, Jeannette M.

A2 - Woodcock, Jim

A2 - Davies, Jim

PB - Springer

T2 - 1st World Congress on Formal Methods in the Development of Computing Systems, FM 1999

Y2 - 20 August 1999 through 24 August 1999

ER -

Hiding more of hidden algebra

Publication series

Other

ASJC Scopus subject areas

Online availability

Library availability

Related links

Cite this