Tutorial on the Irish School of the VDM

[1]  Dines Bjørner,et al.  VDM - A Formal Method at Work: Proceedings of the VDM-Europe Symposium (VDM '87), Brussels, Belgium, 23-26 March 1987 , 1987 .

[2]  Cliff B. Jones,et al.  Software development - a rigorous approach , 1980, Prentice Hall international series in computer science.

[3]  I. Lakatos,et al.  Proofs and Refutations: Frontmatter , 1976 .

[4]  O. Demuth,et al.  On the Lebesgue measurability of continuous functions in constructive analysis , 1991 .

[5]  William L. Berry,et al.  Manufacturing Planning and Control Systems , 1984 .

[6]  M. Kline.  Mathematical Thought from Ancient to Modern Times , 1972 .

[7]  Mícheál Mac an Airchinnigh.  Mathematical Structures and their Morphisms in Meta-IV , 1987, VDM Europe.

[8]  Imre Lakatos,et al.  On the Uses of Rigorous Proof. (Book Reviews: Proofs and Refutations. The Logic of Mathematical Discovery) , 1977 .

[9]  Dines Bjørner,et al.  Abstract Software Specifications , 1982, Lecture Notes in Computer Science.

[10]  Dines Bjørner,et al.  Formal specification and software development , 1982 .

[11]  Robert E. Tarjan,et al.  Depth-First Search and Linear Graph Algorithms , 1972, SIAM J. Comput..

[12]  Antoni Diller,et al.  Z - an introduction to formal methods , 1990 .

[13]  Shimon Even,et al.  Graph Algorithms , 1979 .

[14]  Dines Bjørner,et al.  The Vienna Development Method: The Meta-Language , 1978, Lecture Notes in Computer Science.

[15]  Thomas L. Heath,et al.  A History of Greek Mathematics , 1923, The Classical Review.

[16]  Joseph E. Stoy.  Foundations of Denotational Semantics , 1979, Abstract Software Specifications.

[17]  Andrzej Tarlecki,et al.  A Naive Domain Universe for VDM , 1990, VDM Europe.

[18]  Takao Nishizeki,et al.  Planar Graphs: Theory and Algorithms , 1988 .

[19]  Alfred V. Aho,et al.  The Design and Analysis of Computer Algorithms , 1974 .

[20]  Dines Bjørner,et al.  VDM '90 VDM and Z — Formal Methods in Software Development , 1990, Lecture Notes in Computer Science.