Conferences in DBLP
Jørgen Staunstrup Introduction. [Citation Graph (0, 0)][DBLP ] Conf ] James J. Horning Issues and Observations. [Citation Graph (0, 0)][DBLP ] Conf ] Jørgen Staunstrup , Joseph A. Goguen Geometrical Constructions. [Citation Graph (0, 0)][DBLP ] Conf ] Jørgen Steensgaard-Madsen , Jane W. Hughes , Malcolm S. Powell , Hartmut Ehrig , Hans-Jörg Kreowski , Leif Sandegaard Nielsen , Jean-Raymond Abrial , Ib Holm Sørensen , Robin M. Gallimore , Derek Coleman , Joseph A. Goguen KWIC-index generation. [Citation Graph (0, 0)][DBLP ] Conf ] Leif Sandegaard Nielsen , Ib Holm Sørensen Communication Network. [Citation Graph (0, 0)][DBLP ] Conf ] Derek Coleman , Robin M. Gallimore Partial Correctness of Distributed Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Derek Coleman , Robin M. Gallimore Specification of Distributed Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Flaviu Cristian Robust Data Types. [Citation Graph (0, 0)][DBLP ] Conf ] Jane W. Hughes , Malcolm S. Powell A Reduction Specification for DTL. [Citation Graph (0, 0)][DBLP ] Conf ] Herbert Klaeren Recursive Definitions of Operations in Universal Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Herbert Klaeren The SRDL Specification Experiment. [Citation Graph (0, 0)][DBLP ] Conf ] Jørgen Steensgaard-Madsen Program Specification by Module Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Hartmut Ehrig , Hans-Jörg Kreowski , James W. Thatcher , Eric G. Wagner , Jesse B. Wright Parameter Passing in Algebraic Specification Languages. [Citation Graph (0, 0)][DBLP ] Conf ] John V. Guttag A few Remarks on Putting Formal Specifications to Productive Use. [Citation Graph (0, 0)][DBLP ] Conf ] Ib Holm Sørensen A Specification Language. [Citation Graph (0, 0)][DBLP ] Conf ] Deepak Kapur , David R. Musser , Alexander A. Stepanov Tecton: A Language for Manipulating Generic Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Leif Sandegaard Nielsen Concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] 