Show simple item record

Formal reasoning about systems, software and hardware

dc.contributor.authorBoute, Raymond
dc.date.accessioned2021-10-15T12:47:23Z
dc.date.available2021-10-15T12:47:23Z
dc.date.issued2004-01
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/8632
dc.sourceIIOimport
dc.titleFormal reasoning about systems, software and hardware
dc.typeProceedings paper
dc.source.peerreviewno
dc.source.beginpage85
dc.source.endpage114
dc.source.conferenceInformation Technology - Selected Tutorials - IFIP 18th World Computer Congress
dc.source.conferencedate22/08/2004
dc.source.conferencelocationToulouse France
imec.availabilityPublished - imec
imec.internalnotesISBN: 1-4020-8158-8


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following collection(s)

Show simple item record