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
Rob Arthan‚ Ursula Martin‚ Erik Arne Mathiesen and Paulo Oliva