Reasoning about linear systems

Rob Arthan‚ Ursula Martin‚ Erik Arne Mathiesen and Paulo Oliva

Book Title

Proceedings of 5th IEEE International Conference on Software Engineering and Formal Methods SEFM

Year

2007

Links