Skip to main content

A Hoare logic for linear systems

Rob Arthan‚ Ursula Martin and Paulo Oliva

Journal
Formal Aspects of Computing
Number
3
Pages
345–363
Publisher
Springer
Volume
25
Year
2013