K. John Gough, Herbert Klaeren. Executable Assertions and Separate Compilation. In Hanspeter Mössenböck, editor, Modular Programming Languages, Joint Modular Languages Conference, JMLC 97, Linz, Austria, March 19-21, 1997, Proceedings. Volume 1204 of Lecture Notes in Computer Science, pages 41-52, Springer, 1997.
Abstract is missing.