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