Niek Haarman - Preserving correctness for program transformations

author:Niek Haarman
title:Preserving correctness for program transformations
keywords:
topics:Other
committee:prof.dr. M. Huisman
started:2017


Description