Show simple item record

Simple gedanken experiments in leveraging applications of formal methods

dc.contributor.authorBoute, R.
dc.date.accessioned2021-10-17T06:22:12Z
dc.date.available2021-10-17T06:22:12Z
dc.date.issued2008-10
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/13437
dc.sourceIIOimport
dc.titleSimple gedanken experiments in leveraging applications of formal methods
dc.typeProceedings paper
dc.date.embargo9999-12-31
dc.source.peerreviewno
dc.source.beginpage847
dc.source.endpage861
dc.source.conference3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
dc.source.conferencedate13/10/2008
dc.source.conferencelocationPorto Sani Greece
imec.availabilityPublished - open access


Files in this item

Thumbnail
Name:
17621.pdf
Size:
2.466Mb
Format:
PDF
View/open

This item appears in the following collection(s)

Show simple item record