Skip to main navigation Skip to search Skip to main content

Correctness proofs by formalized refinement steps

  • E.W. van Ammers

Research output: Book/Report › Report › Professional

Original languageEnglish
PublisherWageningen Agricultural University
Publication statusPublished - 1980

Publication series

NameTechnical Note
PublisherDept. of Math., Agric. Univ., Wageningen
No.80-03

Cite this