Programming with preinvariants

A. Bijlsma

Research output: Other contributionOther research output

Original languageEnglish
PublisherTechnische Universiteit Eindhoven
Publication statusPublished - 1997

Cite this