- Journal:
- Formal Asp. Comput.
- Volume:
- 25
- Issue:
- 3
- Pages:
- 345-363
- Publication date:
- 2013-01-01
- URN:
-
uuid:9d1b3de5-aaa9-447e-a636-8f26838134c6
- Local pid:
- cs:8446
- Copyright date:
- 2013
Journal article
A Hoare logic for linear systems
Actions
Authors
Bibliographic Details
Terms of use
If you are the owner of this record, you can report an update to it here: Report update to this record