Overview
Book details: VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings by author Dines Bj?rner, Published by Springer, in Paperback or Softback binding, 422 pages, ISBN 9783540176541