Show simple item record

Can lightweight formal methods carry the weight?

dc.contributor.authorBoute, Raymond
dc.date.accessioned2021-10-15T04:04:05Z
dc.date.available2021-10-15T04:04:05Z
dc.date.issued2003
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/7256
dc.sourceIIOimport
dc.titleCan lightweight formal methods carry the weight?
dc.typeProceedings paper
dc.source.peerreviewno
dc.source.beginpage47
dc.source.endpage55
dc.source.conferenceTeaching Formal Methods, A One Day Workshop at Oxford Brookes University
dc.source.conferencedate12/12/2003
dc.source.conferencelocationOxford UK
imec.availabilityPublished - imec


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