Formal Specification of Object Systems

AuthID
P-00G-9KG
3
Author(s)
SAAKE, G
·
2
Editor(s)
ABRAMSKY, A; MAIBAUM, TSE
Document Type
Proceedings Paper
Year published
1991
Published
in TAPSOFT 91, VOL 2: ADVANCES IN DISTRIBUTED COMPUTING ( ADC ) AND COLLOQUIUM ON COMBINING PARADIGMS FOR SOFTWARE DEVELOPMENT ( CCPSD ) in LECTURE NOTES IN COMPUTER SCIENCE
Volume: 494, Pages: 60-82 (23)
Conference
4Th International Joint Conf On Theory And Practice Of Software Development, Date: APR 08-12, 1991, Location: BRIGHTON, ENGLAND, Sponsors: IMPERIAL COLL, DEPT COMP, Host: CORN EXCHANGE
Indexing
Publication Identifiers
Wos: WOS:A1991BT29J00007
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.