Correctness proofs by formalized refinement steps

E.W. van Ammers

Research output: Book/ReportReportProfessional

Original languageEnglish
PublisherDept. of Math., Agric. Univ., Wageningen
Publication statusPublished - 1980

Publication series

NameTechnical Note
No.80-03

Cite this