Georg Rock, Werner Stephan, Andreas Wolpers. Assumption-Commitment Specifications and Safety-Critical Systems. In Hartmut König, Peter Langendörfer, editors, Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998. pages 125-135, Verlag Shaker, 1998.
Abstract is missing.