Publication:

Formal methods: teaching and practicing computer science at the university level

Date

2008-10
Proceedings Paper
Simple item page Full metadata Statistics
 
dc.contributor.authorBoute, R.
dc.date.accessioned2021-10-17T06:22:17Z
dc.date.available2021-10-17T06:22:17Z
dc.date.embargo9999-12-31
dc.date.issued2008-10
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/13438
dc.source.beginpage11
dc.source.conference1st International Workshop on Formal Methods Education and Training
dc.source.conferencedate28/10/2008
dc.source.conferencelocationTokyo Japan
dc.source.endpage25
dc.title

Formal methods: teaching and practicing computer science at the university level

dc.typeProceedings paper
dspace.entity.typePublication
Files

Original bundle

Name:
17622.pdf
Size:
1.81 MB
Format:
Adobe Portable Document Format
Download
Publication available in collections:
Conference contributions