Contact Rob Arthan

From: A Hoare logic for linear systems

Contact corresponding author