Stepwise Refinement of Formal Specifications Based on Logical Formulae: from COOPN/2 Specifications to Java Programs.

For the most recent entries see the Petri Nets Newsletter.

Ph.D. Thesis 1931, pages 1-320. Swiss Federal Institute of Technology in Lausanne, March 1999. URL: http://cui.unige.ch/~dimarzo/papers/phd.pdf.

Do you need a refined search? Try our search engine which allows complex field-based queries.