Conference item icon

Conference item

Nested Hoare Triples and Frame Rule for Higher−order Store

Actions


Authors


Publisher:
Springer−Verlag
Volume:
5771
Publication date:
2009-09-01
URN:
uuid:a1d01638-a85f-4e0f-a36f-39c4b20a614c
Local pid:
cs:4975
ISBN:
978-3-642-04026-9

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