Journal article icon

Journal article

A Hoare logic for linear systems

Actions


Authors


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

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP